### Set the library providing dlopen
if("${CMAKE_SYSTEM}" MATCHES "Linux")
- find_library(dl DL_LIBRARY)
+ find_library(DL_LIBRARY dl)
endif("${CMAKE_SYSTEM}" MATCHES "Linux")
### Find programs and paths
SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind")
if("${CMAKE_SYSTEM}" MATCHES "Linux")
set(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-ptrace")
- endif()
- # This supposes that the host machine is either an AMD or a X86.
- # This is deeply wrong, and should be fixed by manually loading -lunwind-PLAT (FIXME)
- if(PROCESSOR_x86_64)
- SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86_64")
- else()
- SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86")
+ # This supposes that the host machine is either an AMD or a X86.
+ # This is deeply wrong, and should be fixed by manually loading -lunwind-PLAT (FIXME)
+ if(PROCESSOR_x86_64)
+ SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86_64")
+ else()
+ SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86")
+ endif()
endif()
else()
if(enable_model-checking)