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)