diff --git a/Installation/cmake/modules/FindGMP.cmake b/Installation/cmake/modules/FindGMP.cmake index d100a8c708a..1f830e9a8f5 100644 --- a/Installation/cmake/modules/FindGMP.cmake +++ b/Installation/cmake/modules/FindGMP.cmake @@ -34,8 +34,8 @@ else() find_path(GMP_INCLUDE_DIR NAMES gmp.h - PATHS ${CMAKE_SOURCE_DIR}/auxiliary/gmp/include - ENV GMP_INC_DIR + PATHS ENV GMP_INC_DIR + ${CMAKE_SOURCE_DIR}/auxiliary/gmp/include DOC "The directory containing the GMP header files" ) @@ -47,8 +47,8 @@ else() find_path(GMP_LIBRARIES_DIR NAMES "gmp-${CGAL_TOOLSET}-mt.lib" "gmp-${CGAL_TOOLSET}-mt-gd.lib" - PATHS ${CMAKE_SOURCE_DIR}/auxiliary/gmp/lib - ENV GMP_LIB_DIR + PATHS ENV GMP_LIB_DIR + ${CMAKE_SOURCE_DIR}/auxiliary/gmp/lib DOC "Directory containing the GMP library" )