diff -r 473c71baff72 -r 490d89913a17 cmake/FindGLPK.cmake
--- a/cmake/FindGLPK.cmake	Thu Feb 28 23:45:39 2013 +0100
+++ b/cmake/FindGLPK.cmake	Mon Jul 15 08:33:08 2013 +0200
@@ -53,9 +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)