From 61572fe01f0fcfe3c9c96811ec3572ad7e572189 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 11 Sep 2017 15:49:22 -0700 Subject: cmake: Added initial build infrastructure. --- test/regress/CMakeLists.txt | 5 ++++ test/regress/regress0/CMakeLists.txt | 27 ++++++++++++++++++++++ test/regress/regress0/arith/CMakeLists.txt | 1 + .../regress/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 test/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 test/regress/regress0/precedence/CMakeLists.txt | 0 test/regress/regress0/preprocess/CMakeLists.txt | 0 test/regress/regress0/push-pop/CMakeLists.txt | 0 .../regress/regress0/push-pop/arith/CMakeLists.txt | 0 .../regress0/push-pop/boolean/CMakeLists.txt | 0 test/regress/regress0/quantifiers/CMakeLists.txt | 0 test/regress/regress0/rels/CMakeLists.txt | 0 test/regress/regress0/rewriterules/CMakeLists.txt | 0 test/regress/regress0/sep/CMakeLists.txt | 0 test/regress/regress0/sets/CMakeLists.txt | 6 +++++ test/regress/regress0/sets/feb3/CMakeLists.txt | 0 test/regress/regress0/sets/jan24/CMakeLists.txt | 0 test/regress/regress0/sets/jan27/CMakeLists.txt | 0 test/regress/regress0/sets/jan28/CMakeLists.txt | 0 test/regress/regress0/sets/jan30/CMakeLists.txt | 0 test/regress/regress0/sets/mar2014/CMakeLists.txt | 0 test/regress/regress0/strings/CMakeLists.txt | 0 test/regress/regress0/sygus/CMakeLists.txt | 0 test/regress/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 test/regress/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 test/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 test/regress/regress1/quantifiers/CMakeLists.txt | 0 test/regress/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 59 files changed, 56 insertions(+) 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 (limited to 'test/regress') 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 -- cgit v1.2.3