diff options
Diffstat (limited to 'src/expr/CMakeLists.txt')
-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 ) |