Merge pull request #1134 from adrianherrera/bugfix/optimin-cmake

optimin: fix cmake flags
This commit is contained in:
van Hauser
2021-10-27 12:47:42 +02:00
committed by GitHub

View File

@ -1,4 +1,5 @@
add_executable(optimin OptiMin.cpp)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti")
foreach(LIB MaLib EvalMaxSAT glucose)
target_include_directories(optimin PRIVATE