- if (HAVE_PTHREAD)
- set(SIMGRID_DEP "${SIMGRID_DEP} -lpthread")
- endif()
-
- if(ARCH_32_BITS)
- set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -m32 -march=i486 -D_I_X86_")
- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -m32 -march=i486 -D_I_X86_")
- else()
- set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -m64 -D_AMD64_")
- set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -m64 -D_AMD64_")
- # message(FATAL_ERROR "Sorry, Simgrid fails with full 64bits for now! Please contact us.")