diff options
Diffstat (limited to 'src/parser/tptp/CMakeLists.txt')
-rw-r--r-- | src/parser/tptp/CMakeLists.txt | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/parser/tptp/CMakeLists.txt b/src/parser/tptp/CMakeLists.txt deleted file mode 100644 index 5712e8175..000000000 --- a/src/parser/tptp/CMakeLists.txt +++ /dev/null @@ -1,26 +0,0 @@ -set(parser_tptp_src_files - tptp.cpp - tptp.h - tptp_input.cpp - tptp_input.h -) - -set(parser_tptp_gen_src_files - TptpLexer.c - TptpParser.c -) - -add_custom_command( - OUTPUT ${parser_tptp_gen_src_files} TptpLexer.h TptpParser.h Tptp.tokens - COMMAND - ${ANTLR_BINARY} - ${CMAKE_CURRENT_SOURCE_DIR}/Tptp.g - -fo ${CMAKE_CURRENT_BINARY_DIR} - DEPENDS - Tptp.g -) - -add_library(parsertptp ${parser_tptp_src_files} ${parser_tptp_gen_src_files}) -target_compile_definitions(parsertptp PRIVATE -D__BUILDING_CVC4PARSERLIB) -set_source_files_properties(${parser_tptp_gen_src_files} PROPERTIES LANGUAGE CXX) -target_link_libraries(parsertptp expr) |