cmake: Added initial build infrastructure.

39 files changed, 36 insertions, 0 deletions

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