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 /test/unit | |
parent | 4a0637be2548b2ee4c29873c045246cb36e8d122 (diff) |
cmake: Added initial build infrastructure.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/CMakeLists.txt | 7 | ||||
-rw-r--r-- | test/unit/context/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/expr/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/main/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/parser/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/prop/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/theory/CMakeLists.txt | 0 | ||||
-rw-r--r-- | test/unit/util/CMakeLists.txt | 0 |
8 files changed, 7 insertions, 0 deletions
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 |