blob: 693f63f26c1c4f4eb8c02d39e9cf6c18f2a2d87a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
add_executable(optimin OptiMin.cpp)
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti")
foreach(LIB MaLib EvalMaxSAT glucose)
target_include_directories(optimin PRIVATE
"${CMAKE_SOURCE_DIR}/EvalMaxSAT/lib/${LIB}/src")
target_link_libraries(optimin ${LIB})
endforeach(LIB)
llvm_map_components_to_libnames(LLVM_LIBS support)
target_link_libraries(optimin ${LLVM_LIBS})
install(TARGETS optimin RUNTIME DESTINATION bin)
|
