diff -r 8c567e298d7f -r 57abff252556 cmake/FindILOG.cmake
--- a/cmake/FindILOG.cmake	Sat Oct 27 13:00:48 2018 +0200
+++ b/cmake/FindILOG.cmake	Wed Jan 20 16:17:21 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)