cmake: Added initial build infrastructure.

70 files changed, 67 insertions, 0 deletions

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
--- /dev/null
+++ b/test/java/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/arith/integers/CMakeLists.txt
diff --git a/test/regress/regress0/arrays/CMakeLists.txt b/test/regress/regress0/arrays/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/arrays/CMakeLists.txt
diff --git a/test/regress/regress0/aufbv/CMakeLists.txt b/test/regress/regress0/aufbv/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/aufbv/CMakeLists.txt
diff --git a/test/regress/regress0/auflia/CMakeLists.txt b/test/regress/regress0/auflia/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/auflia/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/bv/core/CMakeLists.txt
diff --git a/test/regress/regress0/datatypes/CMakeLists.txt b/test/regress/regress0/datatypes/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/datatypes/CMakeLists.txt
diff --git a/test/regress/regress0/decision/CMakeLists.txt b/test/regress/regress0/decision/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/decision/CMakeLists.txt
diff --git a/test/regress/regress0/expect/CMakeLists.txt b/test/regress/regress0/expect/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/expect/CMakeLists.txt
diff --git a/test/regress/regress0/fmf/CMakeLists.txt b/test/regress/regress0/fmf/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/fmf/CMakeLists.txt
diff --git a/test/regress/regress0/lemmas/CMakeLists.txt b/test/regress/regress0/lemmas/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/lemmas/CMakeLists.txt
diff --git a/test/regress/regress0/nl/CMakeLists.txt b/test/regress/regress0/nl/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/nl/CMakeLists.txt
diff --git a/test/regress/regress0/parser/CMakeLists.txt b/test/regress/regress0/parser/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/parser/CMakeLists.txt
diff --git a/test/regress/regress0/precedence/CMakeLists.txt b/test/regress/regress0/precedence/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/precedence/CMakeLists.txt
diff --git a/test/regress/regress0/preprocess/CMakeLists.txt b/test/regress/regress0/preprocess/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/preprocess/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/push-pop/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/push-pop/arith/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/push-pop/boolean/CMakeLists.txt
diff --git a/test/regress/regress0/quantifiers/CMakeLists.txt b/test/regress/regress0/quantifiers/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/quantifiers/CMakeLists.txt
diff --git a/test/regress/regress0/rels/CMakeLists.txt b/test/regress/regress0/rels/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/rels/CMakeLists.txt
diff --git a/test/regress/regress0/rewriterules/CMakeLists.txt b/test/regress/regress0/rewriterules/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/rewriterules/CMakeLists.txt
diff --git a/test/regress/regress0/sep/CMakeLists.txt b/test/regress/regress0/sep/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/sep/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/feb3/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/jan24/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/jan27/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/jan28/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/jan30/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/sets/mar2014/CMakeLists.txt
diff --git a/test/regress/regress0/strings/CMakeLists.txt b/test/regress/regress0/strings/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/strings/CMakeLists.txt
diff --git a/test/regress/regress0/sygus/CMakeLists.txt b/test/regress/regress0/sygus/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/sygus/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/tptp/Axioms/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress0/uf/CMakeLists.txt
diff --git a/test/regress/regress0/uflia/CMakeLists.txt b/test/regress/regress0/uflia/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/uflia/CMakeLists.txt
diff --git a/test/regress/regress0/uflra/CMakeLists.txt b/test/regress/regress0/uflra/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/uflra/CMakeLists.txt
diff --git a/test/regress/regress0/unconstrained/CMakeLists.txt b/test/regress/regress0/unconstrained/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress0/unconstrained/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress1/aufbv/CMakeLists.txt
diff --git a/test/regress/regress1/auflia/CMakeLists.txt b/test/regress/regress1/auflia/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/auflia/CMakeLists.txt
diff --git a/test/regress/regress1/bv/CMakeLists.txt b/test/regress/regress1/bv/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/bv/CMakeLists.txt
diff --git a/test/regress/regress1/datatypes/CMakeLists.txt b/test/regress/regress1/datatypes/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/datatypes/CMakeLists.txt
diff --git a/test/regress/regress1/decision/CMakeLists.txt b/test/regress/regress1/decision/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/decision/CMakeLists.txt
diff --git a/test/regress/regress1/fmf/CMakeLists.txt b/test/regress/regress1/fmf/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/fmf/CMakeLists.txt
diff --git a/test/regress/regress1/lemmas/CMakeLists.txt b/test/regress/regress1/lemmas/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/lemmas/CMakeLists.txt
diff --git a/test/regress/regress1/nl/CMakeLists.txt b/test/regress/regress1/nl/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/nl/CMakeLists.txt
diff --git a/test/regress/regress1/quantifiers/CMakeLists.txt b/test/regress/regress1/quantifiers/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/quantifiers/CMakeLists.txt
diff --git a/test/regress/regress1/rewriterules/CMakeLists.txt b/test/regress/regress1/rewriterules/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/rewriterules/CMakeLists.txt
diff --git a/test/regress/regress1/sep/CMakeLists.txt b/test/regress/regress1/sep/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/sep/CMakeLists.txt
diff --git a/test/regress/regress1/sets/CMakeLists.txt b/test/regress/regress1/sets/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/sets/CMakeLists.txt
diff --git a/test/regress/regress1/strings/CMakeLists.txt b/test/regress/regress1/strings/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/strings/CMakeLists.txt
diff --git a/test/regress/regress1/sygus/CMakeLists.txt b/test/regress/regress1/sygus/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress1/sygus/CMakeLists.txt
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
--- /dev/null
+++ b/test/regress/regress2/arith/CMakeLists.txt
diff --git a/test/regress/regress3/CMakeLists.txt b/test/regress/regress3/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress3/CMakeLists.txt
diff --git a/test/regress/regress4/CMakeLists.txt b/test/regress/regress4/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/regress/regress4/CMakeLists.txt
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/system/CMakeLists.txt
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
--- /dev/null
+++ b/test/unit/context/CMakeLists.txt
diff --git a/test/unit/expr/CMakeLists.txt b/test/unit/expr/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/expr/CMakeLists.txt
diff --git a/test/unit/main/CMakeLists.txt b/test/unit/main/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/main/CMakeLists.txt
diff --git a/test/unit/parser/CMakeLists.txt b/test/unit/parser/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/parser/CMakeLists.txt
diff --git a/test/unit/prop/CMakeLists.txt b/test/unit/prop/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/prop/CMakeLists.txt
diff --git a/test/unit/theory/CMakeLists.txt b/test/unit/theory/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/theory/CMakeLists.txt
diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/unit/util/CMakeLists.txt