diff -r 89705c452130 -r 6dc44006c1a8 cmake/FindCPLEX.cmake
--- a/cmake/FindCPLEX.cmake	Mon Apr 27 18:03:18 2009 +0100
+++ b/cmake/FindCPLEX.cmake	Tue Apr 28 11:55:43 2009 +0100
@@ -24,6 +24,9 @@
 IF(CPLEX_FOUND)
   SET(CPLEX_INCLUDE_DIRS ${CPLEX_INCLUDE_DIR})
   SET(CPLEX_LIBRARIES ${CPLEX_LIBRARY})
+  IF(CMAKE_SYSTEM_NAME STREQUAL "Linux")
+    SET(CPLEX_LIBRARIES "${CPLEX_LIBRARIES};m;pthread")
+  ENDIF(CMAKE_SYSTEM_NAME STREQUAL "Linux")
 ENDIF(CPLEX_FOUND)
 
 MARK_AS_ADVANCED(CPLEX_LIBRARY CPLEX_INCLUDE_DIR CPLEX_BIN_DIR)