From 94c0678eec94452fa925e2ca828928aa5c4e264b Mon Sep 17 00:00:00 2001
From: Priyanka Chowdhury <priyanka.chowdhury@dfki.de>
Date: Wed, 14 Feb 2024 15:43:07 +0100
Subject: [PATCH 1/2] find gecode as cmake package

---
 src/CMakeLists.txt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index d154142..6d730bd 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,4 +1,6 @@
 find_package(Boost REQUIRED system filesystem serialization program_options)
+find_package(gecode REQUIRED)
+
 # For adding the qt4 resources
 set(CMAKE_AUTORCC ON)
 rock_library(templ_core
@@ -52,6 +54,16 @@ rock_library(templ_core
         utils/Logger.hpp
     LIBS ${Boost_LIBRARIES}
         proj
+        gecode::kernel
+        gecode::driver
+        gecode::set
+        gecode::support
+        gecode::search 
+        gecode::int 
+        gecode::float
+        gecode::minimodel
+        gecode::flatzinc
+        gecode::gist
     DEPS_PKGCONFIG graph_analysis
         numeric
         owlapi

From 7ee659583207db6632871257132640fdd46014ce Mon Sep 17 00:00:00 2001
From: Priyanka Chowdhury <priyanka.chowdhury@dfki.de>
Date: Mon, 4 Mar 2024 17:09:47 +0100
Subject: [PATCH 2/2] link Boost_LIBRARIES

---
 src/CMakeLists.txt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 6d730bd..88a4c94 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,4 +1,4 @@
-find_package(Boost REQUIRED system filesystem serialization program_options)
+find_package(Boost REQUIRED system regex filesystem serialization program_options)
 find_package(gecode REQUIRED)
 
 # For adding the qt4 resources
@@ -139,6 +139,7 @@ rock_library(templ_moft
         ${MOFT_EXTRA_HPP}
     DEPS
         templ_core
+    LIBS ${Boost_LIBRARIES}
 )
 if(WITH_GQR)
     target_link_libraries(templ_moft ${GQR_LIBRARIES})
@@ -246,6 +247,7 @@ rock_library(templ
         utils/PathConstructor.hpp
     DEPS
         templ_moft
+    LIBS ${Boost_LIBRARIES}
 )
 
 rock_library(templ_benchmark
@@ -259,6 +261,7 @@ rock_library(templ_benchmark
         benchmark/io/GoldenReader.hpp
     DEPS
         templ
+    LIBS ${Boost_LIBRARIES}
 )
 
 rock_executable(templ_bin Main.cpp
@@ -400,6 +403,7 @@ rock_library(templ_gui
         gui/widgets/SpatioTemporalRequirement.ui
         gui/widgets/TemporalConstraintQualitative.ui
         gui/widgets/TemporalConstraintQuantitative.ui
+    LIBS ${Boost_LIBRARIES}
 )
 
 rock_executable(templ-gui gui/Main.cpp