diff options
Diffstat (limited to 'src/theory/CMakeLists.txt')
-rw-r--r-- | src/theory/CMakeLists.txt | 14 |
1 files changed, 14 insertions, 0 deletions
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) |