diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-11 15:49:22 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (patch) | |
tree | 9fc6e45e2910568a118624f0e8b18bd9639b4033 /src | |
parent | 4a0637be2548b2ee4c29873c045246cb36e8d122 (diff) |
cmake: Added initial build infrastructure.
Diffstat (limited to 'src')
41 files changed, 40 insertions, 0 deletions
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 --- /dev/null +++ b/src/base/CMakeLists.txt 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 --- /dev/null +++ b/src/bindings/compat/c/CMakeLists.txt diff --git a/src/bindings/compat/java/CMakeLists.txt b/src/bindings/compat/java/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/bindings/compat/java/CMakeLists.txt diff --git a/src/compat/CMakeLists.txt b/src/compat/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/compat/CMakeLists.txt diff --git a/src/context/CMakeLists.txt b/src/context/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/context/CMakeLists.txt diff --git a/src/decision/CMakeLists.txt b/src/decision/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/decision/CMakeLists.txt diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/expr/CMakeLists.txt diff --git a/src/lib/CMakeLists.txt b/src/lib/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/lib/CMakeLists.txt diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/main/CMakeLists.txt diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/options/CMakeLists.txt 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 --- /dev/null +++ b/src/parser/cvc/CMakeLists.txt diff --git a/src/parser/smt1/CMakeLists.txt b/src/parser/smt1/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/smt1/CMakeLists.txt diff --git a/src/parser/smt2/CMakeLists.txt b/src/parser/smt2/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/smt2/CMakeLists.txt diff --git a/src/parser/tptp/CMakeLists.txt b/src/parser/tptp/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/parser/tptp/CMakeLists.txt diff --git a/src/printer/CMakeLists.txt b/src/printer/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/printer/CMakeLists.txt diff --git a/src/proof/CMakeLists.txt b/src/proof/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/proof/CMakeLists.txt 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 --- /dev/null +++ b/src/prop/bvminisat/CMakeLists.txt diff --git a/src/prop/minisat/CMakeLists.txt b/src/prop/minisat/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/prop/minisat/CMakeLists.txt diff --git a/src/smt/CMakeLists.txt b/src/smt/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/smt/CMakeLists.txt diff --git a/src/smt_util/CMakeLists.txt b/src/smt_util/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/smt_util/CMakeLists.txt 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 --- /dev/null +++ b/src/theory/arith/CMakeLists.txt diff --git a/src/theory/arrays/CMakeLists.txt b/src/theory/arrays/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/arrays/CMakeLists.txt diff --git a/src/theory/booleans/CMakeLists.txt b/src/theory/booleans/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/booleans/CMakeLists.txt diff --git a/src/theory/builtin/CMakeLists.txt b/src/theory/builtin/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/builtin/CMakeLists.txt diff --git a/src/theory/bv/CMakeLists.txt b/src/theory/bv/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/bv/CMakeLists.txt diff --git a/src/theory/datatypes/CMakeLists.txt b/src/theory/datatypes/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/datatypes/CMakeLists.txt diff --git a/src/theory/example/CMakeLists.txt b/src/theory/example/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/example/CMakeLists.txt diff --git a/src/theory/fp/CMakeLists.txt b/src/theory/fp/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/fp/CMakeLists.txt diff --git a/src/theory/idl/CMakeLists.txt b/src/theory/idl/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/idl/CMakeLists.txt diff --git a/src/theory/quantifiers/CMakeLists.txt b/src/theory/quantifiers/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/quantifiers/CMakeLists.txt diff --git a/src/theory/sep/CMakeLists.txt b/src/theory/sep/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/sep/CMakeLists.txt diff --git a/src/theory/sets/CMakeLists.txt b/src/theory/sets/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/sets/CMakeLists.txt diff --git a/src/theory/strings/CMakeLists.txt b/src/theory/strings/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/strings/CMakeLists.txt diff --git a/src/theory/uf/CMakeLists.txt b/src/theory/uf/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/theory/uf/CMakeLists.txt diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/src/util/CMakeLists.txt |