diff -r 1782aa72495a -r fc3854d936f7 cmake/FindGLPK.cmake
--- a/cmake/FindGLPK.cmake	Fri Jul 20 17:09:01 2012 +0200
+++ b/cmake/FindGLPK.cmake	Sat May 25 06:59:31 2013 +0200
@@ -53,10 +53,3 @@
 ENDIF(GLPK_FOUND)
 
 MARK_AS_ADVANCED(GLPK_LIBRARY GLPK_INCLUDE_DIR GLPK_BIN_DIR)
-
-IF(GLPK_FOUND)
-  SET(LEMON_HAVE_LP TRUE)
-  SET(LEMON_HAVE_MIP TRUE)
-  SET(LEMON_HAVE_GLPK TRUE)
-ENDIF(GLPK_FOUND)
-