diff -r cd72eae05bdf -r 3c00344f49c9 cmake/FindGLPK.cmake
--- a/cmake/FindGLPK.cmake	Mon Jul 16 16:21:40 2018 +0200
+++ b/cmake/FindGLPK.cmake	Wed Oct 17 19:14:07 2018 +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)