diff options
Diffstat (limited to 'src/main/CMakeLists.txt')
-rw-r--r-- | src/main/CMakeLists.txt | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index a66ab5a1e..023d02cbe 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -19,6 +19,7 @@ add_executable(cvc4-main ${cvc4main_src_files}) target_compile_definitions(cvc4-main PRIVATE -D__BUILDING_CVC4DRIVER) set_target_properties(cvc4-main PROPERTIES OUTPUT_NAME cvc4) target_link_libraries(cvc4-main main) +add_dependencies(cvc4-main token-headers) #set(pcvc4_src_files # main.cpp @@ -32,3 +33,44 @@ target_link_libraries(cvc4-main main) # command_executor_portfolio.h # driver_unified.cpp #) + +add_custom_command( + OUTPUT cvc_tokens.h + COMMAND + sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh + ${CMAKE_CURRENT_LIST_DIR}/../parser/cvc/Cvc.g + ${CMAKE_CURRENT_BINARY_DIR}/cvc_tokens.h + DEPENDS ../parser/cvc/Cvc.g +) + +add_custom_command( + OUTPUT smt1_tokens.h + COMMAND + sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh + ${CMAKE_CURRENT_LIST_DIR}/../parser/smt1/Smt1.g + ${CMAKE_CURRENT_BINARY_DIR}/smt1_tokens.h + DEPENDS ../parser/smt1/Smt1.g +) + +add_custom_command( + OUTPUT smt2_tokens.h + COMMAND + sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh + ${CMAKE_CURRENT_LIST_DIR}/../parser/smt2/Smt2.g + ${CMAKE_CURRENT_BINARY_DIR}/smt2_tokens.h + DEPENDS ../parser/smt2/Smt2.g +) + +add_custom_command( + OUTPUT tptp_tokens.h + COMMAND + sh ${CMAKE_CURRENT_LIST_DIR}/gen-token-header.sh + ${CMAKE_CURRENT_LIST_DIR}/../parser/tptp/Tptp.g + ${CMAKE_CURRENT_BINARY_DIR}/tptp_tokens.h + DEPENDS ../parser/tptp/Tptp.g +) + +add_custom_target( + token-headers + DEPENDS cvc_tokens.h smt1_tokens.h smt2_tokens.h tptp_tokens.h +) |