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 c869675f authored by PRUVOST Florent's avatar PRUVOST Florent

simgrid.h does not exist anymore in recent simgrid

parent 3f67955f
......@@ -134,7 +134,7 @@ if( (NOT PKG_CONFIG_EXECUTABLE) OR (PKG_CONFIG_EXECUTABLE AND NOT SIMGRID_FOUND)
# Try to find the simgrid header in the given paths
# -------------------------------------------------
set(SIMGRID_hdrs_to_find "simgrid.h;simgrid_config.h")
set(SIMGRID_hdrs_to_find "simgrid_config.h")
# call cmake macro to find the header path
if(SIMGRID_INCDIR)
......
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