Implement Coin-OR CBC polyhedron saturation operator

1 files changed, 23 insertions, 0 deletions

diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/CMakeLists.txt b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/CMakeLists.txt
new file mode 100644
index 00000000..5dbcb071
--- /dev/null
+++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/CMakeLists.txt
@@ -0,0 +1,23 @@
+cmake_minimum_required(VERSION 3.14.5)
+project(hu.bme.mit.inf.dslreasoner.ilp.cbc)
+
+set(CMAKE_CXX_STANDARD 17)
+
+find_package(JNI REQUIRED)
+find_package(PkgConfig REQUIRED)
+
+pkg_check_modules(CBC REQUIRED cbc)
+
+add_library(viatracbc SHARED viatracbc.cpp)
+
+target_link_libraries(viatracbc
+    ${JAVA_JVM_LIBRARY}
+    ${CBC_LIBRARIES})
+target_include_directories(viatracbc
+    PUBLIC ${JNI_INCLUDE_DIRS}
+    PRIVATE ${CBC_INCLUDE_DIRS})
+
+set(VIATRACBC_NATIVES_DIR ${CMAKE_SOURCE_DIR}/../lib)
+add_custom_command(TARGET viatracbc POST_BUILD
+    COMMAND ${CMAKE_COMMAND} -E make_directory ${VIATRACBC_NATIVES_DIR}
+    COMMAND ${CMAKE_COMMAND} -E copy $<TARGET_FILE:viatracbc> ${VIATRACBC_NATIVES_DIR})