cmake: Added initial build infrastructure.

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