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