diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0a6dec216..a24a2e31a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -682,6 +682,8 @@ libcvc4_add_sources( theory/theory.h theory/theory_engine.cpp theory/theory_engine.h + theory/theory_id.cpp + theory/theory_id.h theory/theory_model.cpp theory/theory_model.h theory/theory_model_builder.cpp @@ -717,10 +719,6 @@ include_directories(include) include_directories(. ${CMAKE_CURRENT_BINARY_DIR}) #-----------------------------------------------------------------------------# -# IMPORTANT: The order of the theories is important. It affects the order in -# which theory solvers are called/initialized internally. For example, strings -# depends on arith, quantifiers needs to come as the very last. -# See issue https://github.com/CVC4/CVC4/issues/2517 for more details. set(KINDS_FILES ${PROJECT_SOURCE_DIR}/src/theory/builtin/kinds @@ -928,6 +926,7 @@ install(FILES ${INCLUDE_INSTALL_DIR}/cvc4/smt_util) install(FILES theory/logic_info.h + theory/theory_id.h DESTINATION ${INCLUDE_INSTALL_DIR}/cvc4/theory) install(FILES |