Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit d3ec3296 authored by PRUVOST Florent's avatar PRUVOST Florent

starpu version was wrong for successive cmake configuration

parent 70e4588d
......@@ -226,6 +226,7 @@ find_package(PkgConfig QUIET)
if(PKG_CONFIG_EXECUTABLE AND NOT STARPU_GIVEN_BY_USER)
unset(STARPU_FOUND CACHE)
set (STARPU_VERSION_LIST "1.3;1.2;1.1;1.0")
foreach(_version ${STARPU_VERSION_LIST})
if(STARPU_LOOK_FOR_MPI)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment