1.1 --- a/cmake/FindGLPK.cmake	Mon Jul 16 16:21:40 2018 +0200
     1.2 +++ b/cmake/FindGLPK.cmake	Wed Oct 17 19:14:07 2018 +0200
     1.3 @@ -53,9 +53,3 @@
     1.4  ENDIF(GLPK_FOUND)
     1.5  
     1.6  MARK_AS_ADVANCED(GLPK_LIBRARY GLPK_INCLUDE_DIR GLPK_BIN_DIR)
     1.7 -
     1.8 -IF(GLPK_FOUND)
     1.9 -  SET(LEMON_HAVE_LP TRUE)
    1.10 -  SET(LEMON_HAVE_MIP TRUE)
    1.11 -  SET(LEMON_HAVE_GLPK TRUE)
    1.12 -ENDIF(GLPK_FOUND)