diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-15 19:33:04 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 07368b6c38112763ea727324403fe29269405d55 (patch) | |
tree | ccb7fe0db51b5c3e39ac702296de7aad38881c3d /src/CMakeLists.txt | |
parent | 61572fe01f0fcfe3c9c96811ec3572ad7e572189 (diff) |
cmake: .cpp generation done, .h generation not yet complete
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 26e93f8b5..500900bb1 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,17 +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) +#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) |