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] 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