cmake/FindGLPK.cmake
changeset 627 20dac2104519
parent 619 ec817dfc2cb7
child 637 4faa0c763906
     1.1 --- a/cmake/FindGLPK.cmake	Sun Apr 26 16:36:23 2009 +0100
     1.2 +++ b/cmake/FindGLPK.cmake	Tue Apr 28 13:51:34 2009 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  MARK_AS_ADVANCED(GLPK_LIBRARY GLPK_INCLUDE_DIR GLPK_BIN_DIR)
     1.5  
     1.6  IF(GLPK_FOUND)
     1.7 -  SET(HAVE_LP TRUE)
     1.8 -  SET(HAVE_MIP TRUE)
     1.9 -  SET(HAVE_GLPK TRUE)
    1.10 +  SET(LEMON_HAVE_LP TRUE)
    1.11 +  SET(LEMON_HAVE_MIP TRUE)
    1.12 +  SET(LEMON_HAVE_GLPK TRUE)
    1.13  ENDIF(GLPK_FOUND)