From 61572fe01f0fcfe3c9c96811ec3572ad7e572189 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 11 Sep 2017 15:49:22 -0700 Subject: [PATCH] cmake: Added initial build infrastructure. --- CMakeLists.txt | 23 ++++++++++++++++ cmake/FindGMP.cmake | 12 +++++++++ contrib/CMakeLists.txt | 0 examples/CMakeLists.txt | 0 examples/api/CMakeLists.txt | 0 examples/api/java/CMakeLists.txt | 0 examples/hashsmt/CMakeLists.txt | 0 examples/nra-translate/CMakeLists.txt | 0 examples/sets-translate/CMakeLists.txt | 0 proofs/signatures/CMakeLists.txt | 0 src/CMakeLists.txt | 17 ++++++++++++ src/base/CMakeLists.txt | 0 src/bindings/CMakeLists.txt | 1 + src/bindings/compat/CMakeLists.txt | 2 ++ src/bindings/compat/c/CMakeLists.txt | 0 src/bindings/compat/java/CMakeLists.txt | 0 src/compat/CMakeLists.txt | 0 src/context/CMakeLists.txt | 0 src/decision/CMakeLists.txt | 0 src/expr/CMakeLists.txt | 0 src/lib/CMakeLists.txt | 0 src/main/CMakeLists.txt | 0 src/options/CMakeLists.txt | 0 src/parser/CMakeLists.txt | 4 +++ src/parser/cvc/CMakeLists.txt | 0 src/parser/smt1/CMakeLists.txt | 0 src/parser/smt2/CMakeLists.txt | 0 src/parser/tptp/CMakeLists.txt | 0 src/printer/CMakeLists.txt | 0 src/proof/CMakeLists.txt | 0 src/prop/CMakeLists.txt | 2 ++ src/prop/bvminisat/CMakeLists.txt | 0 src/prop/minisat/CMakeLists.txt | 0 src/smt/CMakeLists.txt | 0 src/smt_util/CMakeLists.txt | 0 src/theory/CMakeLists.txt | 14 ++++++++++ src/theory/arith/CMakeLists.txt | 0 src/theory/arrays/CMakeLists.txt | 0 src/theory/booleans/CMakeLists.txt | 0 src/theory/builtin/CMakeLists.txt | 0 src/theory/bv/CMakeLists.txt | 0 src/theory/datatypes/CMakeLists.txt | 0 src/theory/example/CMakeLists.txt | 0 src/theory/fp/CMakeLists.txt | 0 src/theory/idl/CMakeLists.txt | 0 src/theory/quantifiers/CMakeLists.txt | 0 src/theory/sep/CMakeLists.txt | 0 src/theory/sets/CMakeLists.txt | 0 src/theory/strings/CMakeLists.txt | 0 src/theory/uf/CMakeLists.txt | 0 src/util/CMakeLists.txt | 0 test/CMakeLists.txt | 4 +++ test/java/CMakeLists.txt | 0 test/regress/CMakeLists.txt | 5 ++++ test/regress/regress0/CMakeLists.txt | 27 +++++++++++++++++++ test/regress/regress0/arith/CMakeLists.txt | 1 + .../regress0/arith/integers/CMakeLists.txt | 0 test/regress/regress0/arrays/CMakeLists.txt | 0 test/regress/regress0/aufbv/CMakeLists.txt | 0 test/regress/regress0/auflia/CMakeLists.txt | 0 test/regress/regress0/bv/CMakeLists.txt | 1 + test/regress/regress0/bv/core/CMakeLists.txt | 0 .../regress/regress0/datatypes/CMakeLists.txt | 0 test/regress/regress0/decision/CMakeLists.txt | 0 test/regress/regress0/expect/CMakeLists.txt | 0 test/regress/regress0/fmf/CMakeLists.txt | 0 test/regress/regress0/lemmas/CMakeLists.txt | 0 test/regress/regress0/nl/CMakeLists.txt | 0 test/regress/regress0/parser/CMakeLists.txt | 0 .../regress0/precedence/CMakeLists.txt | 0 .../regress0/preprocess/CMakeLists.txt | 0 test/regress/regress0/push-pop/CMakeLists.txt | 0 .../regress0/push-pop/arith/CMakeLists.txt | 0 .../regress0/push-pop/boolean/CMakeLists.txt | 0 .../regress0/quantifiers/CMakeLists.txt | 0 test/regress/regress0/rels/CMakeLists.txt | 0 .../regress0/rewriterules/CMakeLists.txt | 0 test/regress/regress0/sep/CMakeLists.txt | 0 test/regress/regress0/sets/CMakeLists.txt | 6 +++++ .../regress/regress0/sets/feb3/CMakeLists.txt | 0 .../regress0/sets/jan24/CMakeLists.txt | 0 .../regress0/sets/jan27/CMakeLists.txt | 0 .../regress0/sets/jan28/CMakeLists.txt | 0 .../regress0/sets/jan30/CMakeLists.txt | 0 .../regress0/sets/mar2014/CMakeLists.txt | 0 test/regress/regress0/strings/CMakeLists.txt | 0 test/regress/regress0/sygus/CMakeLists.txt | 0 .../regress0/tptp/Axioms/CMakeLists.txt | 0 test/regress/regress0/tptp/CMakeLists.txt | 1 + test/regress/regress0/uf/CMakeLists.txt | 0 test/regress/regress0/uflia/CMakeLists.txt | 0 test/regress/regress0/uflra/CMakeLists.txt | 0 .../regress0/unconstrained/CMakeLists.txt | 0 test/regress/regress1/CMakeLists.txt | 14 ++++++++++ test/regress/regress1/aufbv/CMakeLists.txt | 0 test/regress/regress1/auflia/CMakeLists.txt | 0 test/regress/regress1/bv/CMakeLists.txt | 0 .../regress/regress1/datatypes/CMakeLists.txt | 0 test/regress/regress1/decision/CMakeLists.txt | 0 test/regress/regress1/fmf/CMakeLists.txt | 0 test/regress/regress1/lemmas/CMakeLists.txt | 0 test/regress/regress1/nl/CMakeLists.txt | 0 .../regress1/quantifiers/CMakeLists.txt | 0 .../regress1/rewriterules/CMakeLists.txt | 0 test/regress/regress1/sep/CMakeLists.txt | 0 test/regress/regress1/sets/CMakeLists.txt | 0 test/regress/regress1/strings/CMakeLists.txt | 0 test/regress/regress1/sygus/CMakeLists.txt | 0 test/regress/regress2/CMakeLists.txt | 1 + test/regress/regress2/arith/CMakeLists.txt | 0 test/regress/regress3/CMakeLists.txt | 0 test/regress/regress4/CMakeLists.txt | 0 test/system/CMakeLists.txt | 0 test/unit/CMakeLists.txt | 7 +++++ test/unit/context/CMakeLists.txt | 0 test/unit/expr/CMakeLists.txt | 0 test/unit/main/CMakeLists.txt | 0 test/unit/parser/CMakeLists.txt | 0 test/unit/prop/CMakeLists.txt | 0 test/unit/theory/CMakeLists.txt | 0 test/unit/util/CMakeLists.txt | 0 121 files changed, 142 insertions(+) create mode 100644 CMakeLists.txt create mode 100644 cmake/FindGMP.cmake create mode 100644 contrib/CMakeLists.txt create mode 100644 examples/CMakeLists.txt create mode 100644 examples/api/CMakeLists.txt create mode 100644 examples/api/java/CMakeLists.txt create mode 100644 examples/hashsmt/CMakeLists.txt create mode 100644 examples/nra-translate/CMakeLists.txt create mode 100644 examples/sets-translate/CMakeLists.txt create mode 100644 proofs/signatures/CMakeLists.txt create mode 100644 src/CMakeLists.txt create mode 100644 src/base/CMakeLists.txt create mode 100644 src/bindings/CMakeLists.txt create mode 100644 src/bindings/compat/CMakeLists.txt create mode 100644 src/bindings/compat/c/CMakeLists.txt create mode 100644 src/bindings/compat/java/CMakeLists.txt create mode 100644 src/compat/CMakeLists.txt create mode 100644 src/context/CMakeLists.txt create mode 100644 src/decision/CMakeLists.txt create mode 100644 src/expr/CMakeLists.txt create mode 100644 src/lib/CMakeLists.txt create mode 100644 src/main/CMakeLists.txt create mode 100644 src/options/CMakeLists.txt create mode 100644 src/parser/CMakeLists.txt create mode 100644 src/parser/cvc/CMakeLists.txt create mode 100644 src/parser/smt1/CMakeLists.txt create mode 100644 src/parser/smt2/CMakeLists.txt create mode 100644 src/parser/tptp/CMakeLists.txt create mode 100644 src/printer/CMakeLists.txt create mode 100644 src/proof/CMakeLists.txt create mode 100644 src/prop/CMakeLists.txt create mode 100644 src/prop/bvminisat/CMakeLists.txt create mode 100644 src/prop/minisat/CMakeLists.txt create mode 100644 src/smt/CMakeLists.txt create mode 100644 src/smt_util/CMakeLists.txt create mode 100644 src/theory/CMakeLists.txt create mode 100644 src/theory/arith/CMakeLists.txt create mode 100644 src/theory/arrays/CMakeLists.txt create mode 100644 src/theory/booleans/CMakeLists.txt create mode 100644 src/theory/builtin/CMakeLists.txt create mode 100644 src/theory/bv/CMakeLists.txt create mode 100644 src/theory/datatypes/CMakeLists.txt create mode 100644 src/theory/example/CMakeLists.txt create mode 100644 src/theory/fp/CMakeLists.txt create mode 100644 src/theory/idl/CMakeLists.txt create mode 100644 src/theory/quantifiers/CMakeLists.txt create mode 100644 src/theory/sep/CMakeLists.txt create mode 100644 src/theory/sets/CMakeLists.txt create mode 100644 src/theory/strings/CMakeLists.txt create mode 100644 src/theory/uf/CMakeLists.txt create mode 100644 src/util/CMakeLists.txt create mode 100644 test/CMakeLists.txt create mode 100644 test/java/CMakeLists.txt create mode 100644 test/regress/CMakeLists.txt create mode 100644 test/regress/regress0/CMakeLists.txt create mode 100644 test/regress/regress0/arith/CMakeLists.txt create mode 100644 test/regress/regress0/arith/integers/CMakeLists.txt create mode 100644 test/regress/regress0/arrays/CMakeLists.txt create mode 100644 test/regress/regress0/aufbv/CMakeLists.txt create mode 100644 test/regress/regress0/auflia/CMakeLists.txt create mode 100644 test/regress/regress0/bv/CMakeLists.txt create mode 100644 test/regress/regress0/bv/core/CMakeLists.txt create mode 100644 test/regress/regress0/datatypes/CMakeLists.txt create mode 100644 test/regress/regress0/decision/CMakeLists.txt create mode 100644 test/regress/regress0/expect/CMakeLists.txt create mode 100644 test/regress/regress0/fmf/CMakeLists.txt create mode 100644 test/regress/regress0/lemmas/CMakeLists.txt create mode 100644 test/regress/regress0/nl/CMakeLists.txt create mode 100644 test/regress/regress0/parser/CMakeLists.txt create mode 100644 test/regress/regress0/precedence/CMakeLists.txt create mode 100644 test/regress/regress0/preprocess/CMakeLists.txt create mode 100644 test/regress/regress0/push-pop/CMakeLists.txt create mode 100644 test/regress/regress0/push-pop/arith/CMakeLists.txt create mode 100644 test/regress/regress0/push-pop/boolean/CMakeLists.txt create mode 100644 test/regress/regress0/quantifiers/CMakeLists.txt create mode 100644 test/regress/regress0/rels/CMakeLists.txt create mode 100644 test/regress/regress0/rewriterules/CMakeLists.txt create mode 100644 test/regress/regress0/sep/CMakeLists.txt create mode 100644 test/regress/regress0/sets/CMakeLists.txt create mode 100644 test/regress/regress0/sets/feb3/CMakeLists.txt create mode 100644 test/regress/regress0/sets/jan24/CMakeLists.txt create mode 100644 test/regress/regress0/sets/jan27/CMakeLists.txt create mode 100644 test/regress/regress0/sets/jan28/CMakeLists.txt create mode 100644 test/regress/regress0/sets/jan30/CMakeLists.txt create mode 100644 test/regress/regress0/sets/mar2014/CMakeLists.txt create mode 100644 test/regress/regress0/strings/CMakeLists.txt create mode 100644 test/regress/regress0/sygus/CMakeLists.txt create mode 100644 test/regress/regress0/tptp/Axioms/CMakeLists.txt create mode 100644 test/regress/regress0/tptp/CMakeLists.txt create mode 100644 test/regress/regress0/uf/CMakeLists.txt create mode 100644 test/regress/regress0/uflia/CMakeLists.txt create mode 100644 test/regress/regress0/uflra/CMakeLists.txt create mode 100644 test/regress/regress0/unconstrained/CMakeLists.txt create mode 100644 test/regress/regress1/CMakeLists.txt create mode 100644 test/regress/regress1/aufbv/CMakeLists.txt create mode 100644 test/regress/regress1/auflia/CMakeLists.txt create mode 100644 test/regress/regress1/bv/CMakeLists.txt create mode 100644 test/regress/regress1/datatypes/CMakeLists.txt create mode 100644 test/regress/regress1/decision/CMakeLists.txt create mode 100644 test/regress/regress1/fmf/CMakeLists.txt create mode 100644 test/regress/regress1/lemmas/CMakeLists.txt create mode 100644 test/regress/regress1/nl/CMakeLists.txt create mode 100644 test/regress/regress1/quantifiers/CMakeLists.txt create mode 100644 test/regress/regress1/rewriterules/CMakeLists.txt create mode 100644 test/regress/regress1/sep/CMakeLists.txt create mode 100644 test/regress/regress1/sets/CMakeLists.txt create mode 100644 test/regress/regress1/strings/CMakeLists.txt create mode 100644 test/regress/regress1/sygus/CMakeLists.txt create mode 100644 test/regress/regress2/CMakeLists.txt create mode 100644 test/regress/regress2/arith/CMakeLists.txt create mode 100644 test/regress/regress3/CMakeLists.txt create mode 100644 test/regress/regress4/CMakeLists.txt create mode 100644 test/system/CMakeLists.txt create mode 100644 test/unit/CMakeLists.txt create mode 100644 test/unit/context/CMakeLists.txt create mode 100644 test/unit/expr/CMakeLists.txt create mode 100644 test/unit/main/CMakeLists.txt create mode 100644 test/unit/parser/CMakeLists.txt create mode 100644 test/unit/prop/CMakeLists.txt create mode 100644 test/unit/theory/CMakeLists.txt create mode 100644 test/unit/util/CMakeLists.txt diff --git a/CMakeLists.txt b/CMakeLists.txt new file mode 100644 index 000000000..9e3580fbb --- /dev/null +++ b/CMakeLists.txt @@ -0,0 +1,23 @@ +cmake_minimum_required (VERSION 2.8.9) + +macro(add_cxx_flag flag) + message(STATUS "Configure with flag '${flag}'") + set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} ${flag}") +endmacro() + +project (cvc4) + +set (CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake) + +# TODO: cln +find_package(GMP REQUIRED) +set(LIBRARIES ${LIBRARIES} ${GMP_LIBRARIES}) +include_directories(${GMP_INCLUDE_DIR}) + +add_subdirectory(src) +add_subdirectory(test) +#TODO only if with-lfsc +#add_subdirectory(proofs/signatures) + +#TODO make dist (subdir: examples) + diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake new file mode 100644 index 000000000..4325f666e --- /dev/null +++ b/cmake/FindGMP.cmake @@ -0,0 +1,12 @@ +# Try to find the GMP librairies +# GMP_FOUND - system has GMP lib +# GMP_INCLUDE_DIR - the GMP include directory +# GMP_LIBRARIES - Libraries needed to use GMP + +find_path(GMP_INCLUDE_DIR NAMES gmp.h) +find_library(GMP_LIBRARIES NAMES gmp libgmp) + +include(FindPackageHandleStandardArgs) +find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES) + +mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES) diff --git a/contrib/CMakeLists.txt b/contrib/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/api/java/CMakeLists.txt b/examples/api/java/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/hashsmt/CMakeLists.txt b/examples/hashsmt/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/nra-translate/CMakeLists.txt b/examples/nra-translate/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/examples/sets-translate/CMakeLists.txt b/examples/sets-translate/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/proofs/signatures/CMakeLists.txt b/proofs/signatures/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt new file mode 100644 index 000000000..26e93f8b5 --- /dev/null +++ b/src/CMakeLists.txt @@ -0,0 +1,17 @@ +add_subdirectory(base) +add_subdirectory(bindings) +add_subdirectory(compat) +add_subdirectory(context) +add_subdirectory(decision) +add_subdirectory(expr) +add_subdirectory(lib) +add_subdirectory(main) +add_subdirectory(options) +add_subdirectory(parser) +add_subdirectory(printer) +add_subdirectory(proof) +add_subdirectory(prop) +add_subdirectory(smt) +add_subdirectory(smt_util) +add_subdirectory(theory) +add_subdirectory(util) diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/bindings/CMakeLists.txt b/src/bindings/CMakeLists.txt new file mode 100644 index 000000000..910b62766 --- /dev/null +++ b/src/bindings/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(compat) diff --git a/src/bindings/compat/CMakeLists.txt b/src/bindings/compat/CMakeLists.txt new file mode 100644 index 000000000..92c37023a --- /dev/null +++ b/src/bindings/compat/CMakeLists.txt @@ -0,0 +1,2 @@ +add_subdirectory(c) +add_subdirectory(java) diff --git a/src/bindings/compat/c/CMakeLists.txt b/src/bindings/compat/c/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/bindings/compat/java/CMakeLists.txt b/src/bindings/compat/java/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/compat/CMakeLists.txt b/src/compat/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/context/CMakeLists.txt b/src/context/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/decision/CMakeLists.txt b/src/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/lib/CMakeLists.txt b/src/lib/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt new file mode 100644 index 000000000..dcb580d8f --- /dev/null +++ b/src/parser/CMakeLists.txt @@ -0,0 +1,4 @@ +add_subdirectory(cvc) +add_subdirectory(smt1) +add_subdirectory(smt2) +add_subdirectory(tptp) diff --git a/src/parser/cvc/CMakeLists.txt b/src/parser/cvc/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/parser/smt1/CMakeLists.txt b/src/parser/smt1/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/parser/smt2/CMakeLists.txt b/src/parser/smt2/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/parser/tptp/CMakeLists.txt b/src/parser/tptp/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/printer/CMakeLists.txt b/src/printer/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/proof/CMakeLists.txt b/src/proof/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/prop/CMakeLists.txt b/src/prop/CMakeLists.txt new file mode 100644 index 000000000..c7868e0f0 --- /dev/null +++ b/src/prop/CMakeLists.txt @@ -0,0 +1,2 @@ +add_subdirectory(bvminisat) +add_subdirectory(minisat) diff --git a/src/prop/bvminisat/CMakeLists.txt b/src/prop/bvminisat/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/prop/minisat/CMakeLists.txt b/src/prop/minisat/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/smt_util/CMakeLists.txt b/src/smt_util/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/CMakeLists.txt b/src/theory/CMakeLists.txt new file mode 100644 index 000000000..01a98aff8 --- /dev/null +++ b/src/theory/CMakeLists.txt @@ -0,0 +1,14 @@ +add_subdirectory(arith) +add_subdirectory(arrays) +add_subdirectory(booleans) +add_subdirectory(builtin) +add_subdirectory(bv) +add_subdirectory(datatypes) +add_subdirectory(example) +add_subdirectory(fp) +add_subdirectory(idl) +add_subdirectory(quantifiers) +add_subdirectory(sep) +add_subdirectory(sets) +add_subdirectory(strings) +add_subdirectory(uf) diff --git a/src/theory/arith/CMakeLists.txt b/src/theory/arith/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/arrays/CMakeLists.txt b/src/theory/arrays/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/booleans/CMakeLists.txt b/src/theory/booleans/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/builtin/CMakeLists.txt b/src/theory/builtin/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/bv/CMakeLists.txt b/src/theory/bv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/datatypes/CMakeLists.txt b/src/theory/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/example/CMakeLists.txt b/src/theory/example/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/fp/CMakeLists.txt b/src/theory/fp/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/idl/CMakeLists.txt b/src/theory/idl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/quantifiers/CMakeLists.txt b/src/theory/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/sep/CMakeLists.txt b/src/theory/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/sets/CMakeLists.txt b/src/theory/sets/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/strings/CMakeLists.txt b/src/theory/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/theory/uf/CMakeLists.txt b/src/theory/uf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt new file mode 100644 index 000000000..07c36b305 --- /dev/null +++ b/test/CMakeLists.txt @@ -0,0 +1,4 @@ +add_subdirectory(java) +add_subdirectory(regress) +add_subdirectory(system) +add_subdirectory(unit) diff --git a/test/java/CMakeLists.txt b/test/java/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt new file mode 100644 index 000000000..d69d74cf8 --- /dev/null +++ b/test/regress/CMakeLists.txt @@ -0,0 +1,5 @@ +add_subdirectory(regress0) +add_subdirectory(regress1) +add_subdirectory(regress2) +add_subdirectory(regress3) +add_subdirectory(regress4) diff --git a/test/regress/regress0/CMakeLists.txt b/test/regress/regress0/CMakeLists.txt new file mode 100644 index 000000000..5b0bc398d --- /dev/null +++ b/test/regress/regress0/CMakeLists.txt @@ -0,0 +1,27 @@ +add_subdirectory(arith) +add_subdirectory(arrays) +add_subdirectory(aufbv) +add_subdirectory(auflia) +add_subdirectory(bv) +add_subdirectory(datatypes) +add_subdirectory(decision) +add_subdirectory(expect) +add_subdirectory(fmf) +add_subdirectory(lemmas) +add_subdirectory(nl) +add_subdirectory(parser) +add_subdirectory(precedence) +add_subdirectory(preprocess) +add_subdirectory(push-pop) +add_subdirectory(quantifiers) +add_subdirectory(rels) +add_subdirectory(rewriterules) +add_subdirectory(sep) +add_subdirectory(sets) +add_subdirectory(strings) +add_subdirectory(sygus) +add_subdirectory(tptp) +add_subdirectory(uf) +add_subdirectory(uflia) +add_subdirectory(uflra) +add_subdirectory(unconstrained) diff --git a/test/regress/regress0/arith/CMakeLists.txt b/test/regress/regress0/arith/CMakeLists.txt new file mode 100644 index 000000000..987f73ccd --- /dev/null +++ b/test/regress/regress0/arith/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(integers) diff --git a/test/regress/regress0/arith/integers/CMakeLists.txt b/test/regress/regress0/arith/integers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/arrays/CMakeLists.txt b/test/regress/regress0/arrays/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/aufbv/CMakeLists.txt b/test/regress/regress0/aufbv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/auflia/CMakeLists.txt b/test/regress/regress0/auflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/bv/CMakeLists.txt b/test/regress/regress0/bv/CMakeLists.txt new file mode 100644 index 000000000..ad6d4787c --- /dev/null +++ b/test/regress/regress0/bv/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(core) diff --git a/test/regress/regress0/bv/core/CMakeLists.txt b/test/regress/regress0/bv/core/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/datatypes/CMakeLists.txt b/test/regress/regress0/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/decision/CMakeLists.txt b/test/regress/regress0/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/expect/CMakeLists.txt b/test/regress/regress0/expect/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/fmf/CMakeLists.txt b/test/regress/regress0/fmf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/lemmas/CMakeLists.txt b/test/regress/regress0/lemmas/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/nl/CMakeLists.txt b/test/regress/regress0/nl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/parser/CMakeLists.txt b/test/regress/regress0/parser/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/precedence/CMakeLists.txt b/test/regress/regress0/precedence/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/preprocess/CMakeLists.txt b/test/regress/regress0/preprocess/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/push-pop/CMakeLists.txt b/test/regress/regress0/push-pop/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/push-pop/arith/CMakeLists.txt b/test/regress/regress0/push-pop/arith/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/push-pop/boolean/CMakeLists.txt b/test/regress/regress0/push-pop/boolean/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/quantifiers/CMakeLists.txt b/test/regress/regress0/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/rels/CMakeLists.txt b/test/regress/regress0/rels/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/rewriterules/CMakeLists.txt b/test/regress/regress0/rewriterules/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sep/CMakeLists.txt b/test/regress/regress0/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/CMakeLists.txt b/test/regress/regress0/sets/CMakeLists.txt new file mode 100644 index 000000000..0ccc8352e --- /dev/null +++ b/test/regress/regress0/sets/CMakeLists.txt @@ -0,0 +1,6 @@ +add_subdirectory(feb3) +add_subdirectory(jan24) +add_subdirectory(jan27) +add_subdirectory(jan28) +add_subdirectory(jan30) +add_subdirectory(mar2014) diff --git a/test/regress/regress0/sets/feb3/CMakeLists.txt b/test/regress/regress0/sets/feb3/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/jan24/CMakeLists.txt b/test/regress/regress0/sets/jan24/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/jan27/CMakeLists.txt b/test/regress/regress0/sets/jan27/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/jan28/CMakeLists.txt b/test/regress/regress0/sets/jan28/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/jan30/CMakeLists.txt b/test/regress/regress0/sets/jan30/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sets/mar2014/CMakeLists.txt b/test/regress/regress0/sets/mar2014/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/strings/CMakeLists.txt b/test/regress/regress0/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/sygus/CMakeLists.txt b/test/regress/regress0/sygus/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/tptp/Axioms/CMakeLists.txt b/test/regress/regress0/tptp/Axioms/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/tptp/CMakeLists.txt b/test/regress/regress0/tptp/CMakeLists.txt new file mode 100644 index 000000000..77739f587 --- /dev/null +++ b/test/regress/regress0/tptp/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(Axioms) diff --git a/test/regress/regress0/uf/CMakeLists.txt b/test/regress/regress0/uf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/uflia/CMakeLists.txt b/test/regress/regress0/uflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/uflra/CMakeLists.txt b/test/regress/regress0/uflra/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress0/unconstrained/CMakeLists.txt b/test/regress/regress0/unconstrained/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/CMakeLists.txt b/test/regress/regress1/CMakeLists.txt new file mode 100644 index 000000000..8742c4e41 --- /dev/null +++ b/test/regress/regress1/CMakeLists.txt @@ -0,0 +1,14 @@ +add_subdirectory(aufbv) +add_subdirectory(auflia) +add_subdirectory(bv) +add_subdirectory(datatypes) +add_subdirectory(decision) +add_subdirectory(fmf) +add_subdirectory(lemmas) +add_subdirectory(nl) +add_subdirectory(quantifiers) +add_subdirectory(rewriterules) +add_subdirectory(sep) +add_subdirectory(sets) +add_subdirectory(strings) +add_subdirectory(sygus) diff --git a/test/regress/regress1/aufbv/CMakeLists.txt b/test/regress/regress1/aufbv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/auflia/CMakeLists.txt b/test/regress/regress1/auflia/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/bv/CMakeLists.txt b/test/regress/regress1/bv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/datatypes/CMakeLists.txt b/test/regress/regress1/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/decision/CMakeLists.txt b/test/regress/regress1/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/fmf/CMakeLists.txt b/test/regress/regress1/fmf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/lemmas/CMakeLists.txt b/test/regress/regress1/lemmas/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/nl/CMakeLists.txt b/test/regress/regress1/nl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/quantifiers/CMakeLists.txt b/test/regress/regress1/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/rewriterules/CMakeLists.txt b/test/regress/regress1/rewriterules/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/sep/CMakeLists.txt b/test/regress/regress1/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/sets/CMakeLists.txt b/test/regress/regress1/sets/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/strings/CMakeLists.txt b/test/regress/regress1/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress1/sygus/CMakeLists.txt b/test/regress/regress1/sygus/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress2/CMakeLists.txt b/test/regress/regress2/CMakeLists.txt new file mode 100644 index 000000000..43ec0b68b --- /dev/null +++ b/test/regress/regress2/CMakeLists.txt @@ -0,0 +1 @@ +add_subdirectory(arith) diff --git a/test/regress/regress2/arith/CMakeLists.txt b/test/regress/regress2/arith/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress3/CMakeLists.txt b/test/regress/regress3/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/regress/regress4/CMakeLists.txt b/test/regress/regress4/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt new file mode 100644 index 000000000..3e2dde59b --- /dev/null +++ b/test/unit/CMakeLists.txt @@ -0,0 +1,7 @@ +add_subdirectory(context) +add_subdirectory(expr) +add_subdirectory(main) +add_subdirectory(parser) +add_subdirectory(prop) +add_subdirectory(theory) +add_subdirectory(util) diff --git a/test/unit/context/CMakeLists.txt b/test/unit/context/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/expr/CMakeLists.txt b/test/unit/expr/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/main/CMakeLists.txt b/test/unit/main/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/parser/CMakeLists.txt b/test/unit/parser/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/prop/CMakeLists.txt b/test/unit/prop/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/theory/CMakeLists.txt b/test/unit/theory/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb -- 2.30.2