set(INCLUDES ${INCLUDES} /usr/include/)
endif()
-### Check 32bits or 64bits
-IF(CMAKE_SIZEOF_VOID_P EQUAL 4)
- SET(ARCH_32_BITS 1)
-ELSE()
- SET(ARCH_32_BITS 0)
-ENDIF()
-
if(WIN32)
set(CMAKE_INCLUDE_WIN "${CMAKE_C_COMPILER}")
set(CMAKE_LIB_WIN "${CMAKE_C_COMPILER}")
set(HAVE_RAW_CONTEXTS 0)
include(CMakeDetermineSystem)
IF(CMAKE_SYSTEM_PROCESSOR MATCHES ".86|AMD64|amd64")
- IF(${ARCH_32_BITS})
+ IF(CMAKE_SIZEOF_VOID_P EQUAL 4) # 32 bits
message(STATUS "System processor: i686 (${CMAKE_SYSTEM_PROCESSOR}, 32 bits)")
set(PROCESSOR_i686 1)
set(PROCESSOR_x86_64 0)
set(HAVE_THREAD_LOCAL_STORAGE 0)
endif()
+if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux")
+ message(WARNING "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}: disabling it")
+ set(enable_model-checking FALSE)
+endif()
+
if(HAVE_MMAP AND HAVE_THREAD_LOCAL_STORAGE)
SET(HAVE_MMALLOC 1)
else()
include(FindLibunwind)
if(HAVE_LIBUNWIND)
- SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind -lunwind-ptrace")
- # 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")
+ SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind")
+ if("${CMAKE_SYSTEM}" MATCHES "Linux")
+ set(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-ptrace")
+ # 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)
endif()
endif()
-if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux")
- message(WARNING "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}: disabling it")
- set(enable_model-checking FALSE)
-endif()
-
if(enable_model-checking)
SET(HAVE_MC 1)