[skip ci] first look for gmake, then for make

allows to compile on systems where GNU make (gmake) is not the default.
2018-11-24 15:01:28 +01:00 · 2018-11-24 15:01:28 +01:00 · 497287d90d
parent 53eab5e3cf
commit 497287d90d
1 changed files with 1 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -47,7 +47,7 @@ linker:

 # CMake will execute each target in the ${petsc_config_makefile}
 # to acquire corresponding PETSc Variables.
-find_program (MAKE_EXECUTABLE NAMES make gmake)
+find_program (MAKE_EXECUTABLE NAMES gmake make)
 # Find the PETSc includes directory settings
 execute_process (COMMAND ${MAKE_EXECUTABLE} --no-print-directory -f ${petsc_config_makefile} "includes"
                 RESULT_VARIABLE PETSC_INCLUDES_RETURN