diff -r 736a341e604b -r eba5aa390aca cmake/FindILOG.cmake
--- a/cmake/FindILOG.cmake	Thu Jan 21 08:36:53 2021 +0100
+++ b/cmake/FindILOG.cmake	Thu Jan 21 18:58:37 2021 +0100
@@ -96,7 +96,7 @@
   SET(ILOG_LIBRARIES ${ILOG_CPLEX_LIBRARY} ${ILOG_CONCERT_LIBRARY})
   IF(CMAKE_SYSTEM_NAME STREQUAL "Linux")
     # SET(CPLEX_LIBRARIES "${CPLEX_LIBRARIES};m;pthread")
-    SET(ILOG_LIBRARIES ${ILOG_LIBRARIES} "m" "pthread")
+    SET(ILOG_LIBRARIES ${ILOG_LIBRARIES} "m" "pthread" "dl")
   ENDIF(CMAKE_SYSTEM_NAME STREQUAL "Linux")
 ENDIF(ILOG_FOUND)