diff options
Diffstat (limited to 'src/parser/smt1/CMakeLists.txt')
-rw-r--r-- | src/parser/smt1/CMakeLists.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/smt1/CMakeLists.txt b/src/parser/smt1/CMakeLists.txt index 89f440e8e..2dd0bfd9b 100644 --- a/src/parser/smt1/CMakeLists.txt +++ b/src/parser/smt1/CMakeLists.txt @@ -21,7 +21,7 @@ add_custom_command( Smt1.g ) -add_library(parsersmt1 SHARED ${parser_smt1_src_files} ${parser_smt1_gen_src_files}) -set_target_properties(parsersmt1 PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4PARSERLIB) +add_library(parsersmt1 ${parser_smt1_src_files} ${parser_smt1_gen_src_files}) +target_compile_definitions(parsersmt1 PRIVATE -D__BUILDING_CVC4PARSERLIB) set_source_files_properties(${parser_smt1_gen_src_files} PROPERTIES LANGUAGE CXX) -add_dependencies(parsersmt1 expr) +target_link_libraries(parsersmt1 expr) |