cmake/FindGLPK.cmake
changeset 619 ec817dfc2cb7
parent 473 17d918051964
child 627 20dac2104519
     1.1 --- a/cmake/FindGLPK.cmake	Tue Apr 21 15:18:54 2009 +0100
     1.2 +++ b/cmake/FindGLPK.cmake	Thu Apr 23 07:28:56 2009 +0100
     1.3 @@ -13,8 +13,15 @@
     1.4  FIND_PACKAGE_HANDLE_STANDARD_ARGS(GLPK DEFAULT_MSG GLPK_LIBRARY GLPK_INCLUDE_DIR)
     1.5  
     1.6  IF(GLPK_FOUND)
     1.7 +  SET(GLPK_INCLUDE_DIRS ${GLPK_INCLUDE_DIR})
     1.8    SET(GLPK_LIBRARIES ${GLPK_LIBRARY})
     1.9    SET(GLPK_BIN_DIR ${GLPK_ROOT_PATH}/bin)
    1.10  ENDIF(GLPK_FOUND)
    1.11  
    1.12  MARK_AS_ADVANCED(GLPK_LIBRARY GLPK_INCLUDE_DIR GLPK_BIN_DIR)
    1.13 +
    1.14 +IF(GLPK_FOUND)
    1.15 +  SET(HAVE_LP TRUE)
    1.16 +  SET(HAVE_MIP TRUE)
    1.17 +  SET(HAVE_GLPK TRUE)
    1.18 +ENDIF(GLPK_FOUND)