diff -r 1782aa72495a -r fc3854d936f7 cmake/FindCOIN.cmake
--- a/cmake/FindCOIN.cmake	Fri Jul 20 17:09:01 2012 +0200
+++ b/cmake/FindCOIN.cmake	Sat May 25 06:59:31 2013 +0200
@@ -108,10 +108,3 @@
   COIN_ZLIB_LIBRARY
   COIN_BZ2_LIBRARY
 )
-
-IF(COIN_FOUND)
-  SET(LEMON_HAVE_LP TRUE)
-  SET(LEMON_HAVE_MIP TRUE)
-  SET(LEMON_HAVE_CLP TRUE)
-  SET(LEMON_HAVE_CBC TRUE)
-ENDIF(COIN_FOUND)