diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-24 16:23:37 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-24 16:23:37 -0700 |
commit | 2772965140024b2bf75e800dea1d9c2e0126f7a0 (patch) | |
tree | 5137887f9852c666a0f28e03761f04404878cf49 /src/expr | |
parent | 2252b50b1393b3c50060a1728f3c10f167f44356 (diff) |
cmake: Fix theory order #2. (#2522)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/CMakeLists.txt | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/src/expr/CMakeLists.txt b/src/expr/CMakeLists.txt index 83bd2d585..6a06bc8ed 100644 --- a/src/expr/CMakeLists.txt +++ b/src/expr/CMakeLists.txt @@ -65,7 +65,6 @@ libcvc4_add_sources(GENERATED # # Generate code for kinds. # -file(GLOB kinds_files ${PROJECT_SOURCE_DIR}/src/theory/*/kinds) set(mkkind_script ${CMAKE_CURRENT_LIST_DIR}/mkkind) set(mkmetakind_script ${CMAKE_CURRENT_LIST_DIR}/mkmetakind) @@ -76,7 +75,7 @@ add_custom_command( COMMAND ${mkkind_script} ${CMAKE_CURRENT_LIST_DIR}/kind_template.h - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/kind.h DEPENDS mkkind kind_template.h ) @@ -86,7 +85,7 @@ add_custom_command( COMMAND ${mkkind_script} ${CMAKE_CURRENT_LIST_DIR}/kind_template.cpp - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/kind.cpp DEPENDS mkkind kind_template.cpp kind.h ) @@ -96,7 +95,7 @@ add_custom_command( COMMAND ${mkkind_script} ${CMAKE_CURRENT_LIST_DIR}/type_properties_template.h - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/type_properties.h DEPENDS mkkind type_properties_template.h ) @@ -106,7 +105,7 @@ add_custom_command( COMMAND ${mkmetakind_script} ${CMAKE_CURRENT_LIST_DIR}/metakind_template.h - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/metakind.h DEPENDS mkmetakind metakind_template.h ) @@ -116,7 +115,7 @@ add_custom_command( COMMAND ${mkmetakind_script} ${CMAKE_CURRENT_LIST_DIR}/metakind_template.cpp - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/metakind.cpp DEPENDS mkmetakind metakind_template.cpp metakind.h ) @@ -126,7 +125,7 @@ add_custom_command( COMMAND ${mkexpr_script} ${CMAKE_CURRENT_LIST_DIR}/expr_template.h - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/expr.h DEPENDS mkexpr expr_template.h kind.h ) @@ -136,7 +135,7 @@ add_custom_command( COMMAND ${mkexpr_script} ${CMAKE_CURRENT_LIST_DIR}/expr_template.cpp - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/expr.cpp DEPENDS mkexpr expr_template.cpp expr.h ) @@ -146,7 +145,7 @@ add_custom_command( COMMAND ${mkexpr_script} ${CMAKE_CURRENT_LIST_DIR}/expr_manager_template.h - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/expr_manager.h DEPENDS mkexpr expr_manager_template.h expr.h ) @@ -156,7 +155,7 @@ add_custom_command( COMMAND ${mkexpr_script} ${CMAKE_CURRENT_LIST_DIR}/expr_manager_template.cpp - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/expr_manager.cpp DEPENDS mkexpr expr_manager_template.cpp expr_manager.h ) @@ -166,7 +165,7 @@ add_custom_command( COMMAND ${mkexpr_script} ${CMAKE_CURRENT_LIST_DIR}/type_checker_template.cpp - ${kinds_files} + ${KINDS_FILES} > ${CMAKE_CURRENT_BINARY_DIR}/type_checker.cpp DEPENDS mkexpr type_checker_template.cpp ) |