mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
make lp_tst optional
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
3a4200ae5f
commit
8b4223fef2
|
@ -1,4 +1,6 @@
|
|||
add_executable(lp_tst lp_main.cpp lp.cpp $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:polynomial> $<TARGET_OBJECTS:nlsat> $<TARGET_OBJECTS:lp> )
|
||||
add_executable(lp_tst
|
||||
EXCLUDE_FROM_ALL
|
||||
lp_main.cpp lp.cpp $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:polynomial> $<TARGET_OBJECTS:nlsat> $<TARGET_OBJECTS:lp> )
|
||||
target_compile_definitions(lp_tst PRIVATE ${Z3_COMPONENT_CXX_DEFINES})
|
||||
target_compile_options(lp_tst PRIVATE ${Z3_COMPONENT_CXX_FLAGS})
|
||||
target_include_directories(lp_tst PRIVATE ${Z3_COMPONENT_EXTRA_INCLUDE_DIRS})
|
||||
|
|
Loading…
Reference in a new issue