arminbiere · madmaxieee · Dec 9, 2023
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -0,0 +1,34 @@
+cmake_minimum_required(VERSION 3.19)
+
+set(CMAKE_CXX_STANDARD 11)
+
+if(NOT CMAKE_BUILD_TYPE)
+  set(CMAKE_BUILD_TYPE Release)
+endif()
+
+file(READ "${CMAKE_CURRENT_SOURCE_DIR}/VERSION" CADICAL_VERSION)
+# remove version suffix to make make it valid for cmake
+string(REGEX REPLACE "([0-9]+\.[0-9]+\.[0-9]+).*$" "\\1" CADICAL_VERSION
+                     "${CADICAL_VERSION}")
+
+project(
+  cadical
+  LANGUAGES CXX
+  VERSION ${CADICAL_VERSION})
+
+file(
+  GLOB_RECURSE SOURCES
+  RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}
+  "src/*.cpp" "src/*.hpp")
+
+list(REMOVE_ITEM SOURCES "src/mobical.cpp")
+list(REMOVE_ITEM SOURCES "src/cadical.cpp")
+
+add_library(cadical STATIC ${SOURCES})
+add_library(cadical::cadical ALIAS cadical)
+# don't generate the build header file when building the library
+target_compile_definitions(cadical PRIVATE NBUILD=1)
+
+target_include_directories(
+  cadical INTERFACE $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
+                    $<INSTALL_INTERFACE:include>)
diff --git a/include/cadical/arena.hpp b/include/cadical/arena.hpp
@@ -0,0 +1 @@
+../../src/arena.hpp
diff --git a/include/cadical/averages.hpp b/include/cadical/averages.hpp
@@ -0,0 +1 @@
+../../src/averages.hpp
diff --git a/include/cadical/bins.hpp b/include/cadical/bins.hpp
@@ -0,0 +1 @@
+../../src/bins.hpp
diff --git a/include/cadical/block.hpp b/include/cadical/block.hpp
@@ -0,0 +1 @@
+../../src/block.hpp
diff --git a/include/cadical/build.hpp b/include/cadical/build.hpp
@@ -0,0 +1 @@
+../../src/build.hpp
diff --git a/include/cadical/cadical.hpp b/include/cadical/cadical.hpp
@@ -0,0 +1 @@
+../../src/cadical.hpp
diff --git a/include/cadical/checker.hpp b/include/cadical/checker.hpp
@@ -0,0 +1 @@
+../../src/checker.hpp
diff --git a/include/cadical/clause.hpp b/include/cadical/clause.hpp
@@ -0,0 +1 @@
+../../src/clause.hpp
diff --git a/include/cadical/config.hpp b/include/cadical/config.hpp
@@ -0,0 +1 @@
+../../src/config.hpp
diff --git a/include/cadical/contract.hpp b/include/cadical/contract.hpp
@@ -0,0 +1 @@
+../../src/contract.hpp
diff --git a/include/cadical/cover.hpp b/include/cadical/cover.hpp
@@ -0,0 +1 @@
+../../src/cover.hpp
diff --git a/include/cadical/decompose.hpp b/include/cadical/decompose.hpp
@@ -0,0 +1 @@
+../../src/decompose.hpp
diff --git a/include/cadical/drattracer.hpp b/include/cadical/drattracer.hpp
@@ -0,0 +1 @@
+../../src/drattracer.hpp
diff --git a/include/cadical/elim.hpp b/include/cadical/elim.hpp
@@ -0,0 +1 @@
+../../src/elim.hpp
diff --git a/include/cadical/ema.hpp b/include/cadical/ema.hpp
@@ -0,0 +1 @@
+../../src/ema.hpp
diff --git a/include/cadical/external.hpp b/include/cadical/external.hpp
@@ -0,0 +1 @@
+../../src/external.hpp
diff --git a/include/cadical/file.hpp b/include/cadical/file.hpp
@@ -0,0 +1 @@
+../../src/file.hpp
diff --git a/include/cadical/flags.hpp b/include/cadical/flags.hpp
@@ -0,0 +1 @@
+../../src/flags.hpp
diff --git a/include/cadical/format.hpp b/include/cadical/format.hpp
@@ -0,0 +1 @@
+../../src/format.hpp
diff --git a/include/cadical/frattracer.hpp b/include/cadical/frattracer.hpp
@@ -0,0 +1 @@
+../../src/frattracer.hpp
diff --git a/include/cadical/heap.hpp b/include/cadical/heap.hpp
@@ -0,0 +1 @@
+../../src/heap.hpp
diff --git a/include/cadical/idruptracer.hpp b/include/cadical/idruptracer.hpp
@@ -0,0 +1 @@
+../../src/idruptracer.hpp
diff --git a/include/cadical/instantiate.hpp b/include/cadical/instantiate.hpp
@@ -0,0 +1 @@
+../../src/instantiate.hpp
diff --git a/include/cadical/internal.hpp b/include/cadical/internal.hpp
@@ -0,0 +1 @@
+../../src/internal.hpp
diff --git a/include/cadical/inttypes.hpp b/include/cadical/inttypes.hpp
@@ -0,0 +1 @@
+../../src/inttypes.hpp
diff --git a/include/cadical/level.hpp b/include/cadical/level.hpp
@@ -0,0 +1 @@
+../../src/level.hpp
diff --git a/include/cadical/limit.hpp b/include/cadical/limit.hpp
@@ -0,0 +1 @@
+../../src/limit.hpp
diff --git a/include/cadical/logging.hpp b/include/cadical/logging.hpp
@@ -0,0 +1 @@
+../../src/logging.hpp
diff --git a/include/cadical/lratbuilder.hpp b/include/cadical/lratbuilder.hpp
@@ -0,0 +1 @@
+../../src/lratbuilder.hpp
diff --git a/include/cadical/lratchecker.hpp b/include/cadical/lratchecker.hpp
@@ -0,0 +1 @@
+../../src/lratchecker.hpp
diff --git a/include/cadical/lrattracer.hpp b/include/cadical/lrattracer.hpp
@@ -0,0 +1 @@
+../../src/lrattracer.hpp
diff --git a/include/cadical/message.hpp b/include/cadical/message.hpp
@@ -0,0 +1 @@
+../../src/message.hpp
diff --git a/include/cadical/occs.hpp b/include/cadical/occs.hpp
@@ -0,0 +1 @@
+../../src/occs.hpp
diff --git a/include/cadical/options.hpp b/include/cadical/options.hpp
@@ -0,0 +1 @@
+../../src/options.hpp
diff --git a/include/cadical/parse.hpp b/include/cadical/parse.hpp
@@ -0,0 +1 @@
+../../src/parse.hpp
diff --git a/include/cadical/phases.hpp b/include/cadical/phases.hpp
@@ -0,0 +1 @@
+../../src/phases.hpp
diff --git a/include/cadical/profile.hpp b/include/cadical/profile.hpp
@@ -0,0 +1 @@
+../../src/profile.hpp
diff --git a/include/cadical/proof.hpp b/include/cadical/proof.hpp
@@ -0,0 +1 @@
+../../src/proof.hpp
diff --git a/include/cadical/queue.hpp b/include/cadical/queue.hpp
@@ -0,0 +1 @@
+../../src/queue.hpp
diff --git a/include/cadical/radix.hpp b/include/cadical/radix.hpp
@@ -0,0 +1 @@
+../../src/radix.hpp
diff --git a/include/cadical/random.hpp b/include/cadical/random.hpp
@@ -0,0 +1 @@
+../../src/random.hpp
diff --git a/include/cadical/range.hpp b/include/cadical/range.hpp
@@ -0,0 +1 @@
+../../src/range.hpp
diff --git a/include/cadical/reap.hpp b/include/cadical/reap.hpp
@@ -0,0 +1 @@
+../../src/reap.hpp
diff --git a/include/cadical/reluctant.hpp b/include/cadical/reluctant.hpp
@@ -0,0 +1 @@
+../../src/reluctant.hpp
diff --git a/include/cadical/resources.hpp b/include/cadical/resources.hpp
@@ -0,0 +1 @@
+../../src/resources.hpp
diff --git a/include/cadical/score.hpp b/include/cadical/score.hpp
@@ -0,0 +1 @@
+../../src/score.hpp
diff --git a/include/cadical/signal.hpp b/include/cadical/signal.hpp
@@ -0,0 +1 @@
+../../src/signal.hpp
diff --git a/include/cadical/stats.hpp b/include/cadical/stats.hpp
@@ -0,0 +1 @@
+../../src/stats.hpp
diff --git a/include/cadical/terminal.hpp b/include/cadical/terminal.hpp
@@ -0,0 +1 @@
+../../src/terminal.hpp
diff --git a/include/cadical/tracer.hpp b/include/cadical/tracer.hpp
@@ -0,0 +1 @@
+../../src/tracer.hpp
diff --git a/include/cadical/util.hpp b/include/cadical/util.hpp
@@ -0,0 +1 @@
+../../src/util.hpp
diff --git a/include/cadical/var.hpp b/include/cadical/var.hpp
@@ -0,0 +1 @@
+../../src/var.hpp
diff --git a/include/cadical/veripbtracer.hpp b/include/cadical/veripbtracer.hpp
@@ -0,0 +1 @@
+../../src/veripbtracer.hpp
diff --git a/include/cadical/version.hpp b/include/cadical/version.hpp
@@ -0,0 +1 @@
+../../src/version.hpp
diff --git a/include/cadical/vivify.hpp b/include/cadical/vivify.hpp
@@ -0,0 +1 @@
+../../src/vivify.hpp
diff --git a/include/cadical/watch.hpp b/include/cadical/watch.hpp
@@ -0,0 +1 @@
+../../src/watch.hpp