diff options
Diffstat (limited to 'cmake/FindGLPK.cmake')
| -rw-r--r-- | cmake/FindGLPK.cmake | 23 |
1 files changed, 2 insertions, 21 deletions
diff --git a/cmake/FindGLPK.cmake b/cmake/FindGLPK.cmake index 1587ca821..390992639 100644 --- a/cmake/FindGLPK.cmake +++ b/cmake/FindGLPK.cmake @@ -4,27 +4,8 @@ # GLPK_LIBRARIES - Libraries needed to use GLPK -# Check default location of GLPK built with contrib/get-glpk-cut-log. -# If the user provides a directory we will not search the default paths and -# fail if GLPK was not found in the specified directory. -if(NOT GLPK_HOME) - set(GLPK_HOME ${PROJECT_SOURCE_DIR}/glpk-cut-log) - set(CHECK_SYSTEM_VERSION TRUE) -endif() - -find_path(GLPK_INCLUDE_DIR - NAMES glpk.h - PATHS ${GLPK_HOME}/include - NO_DEFAULT_PATH) -find_library(GLPK_LIBRARIES - NAMES glpk - PATHS ${GLPK_HOME}/lib - NO_DEFAULT_PATH) - -if(CHECK_SYSTEM_VERSION) - find_path(GLPK_INCLUDE_DIR NAMES glpk.h) - find_library(GLPK_LIBRARIES NAMES glpk) -endif() +find_path(GLPK_INCLUDE_DIR NAMES glpk.h) +find_library(GLPK_LIBRARIES NAMES glpk) # Check if we really have GLPK-cut-log. if(GLPK_INCLUDE_DIR) |