A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix mac build (another try)
[simgrid.git]
/
CMakeLists.txt
diff --git
a/CMakeLists.txt
b/CMakeLists.txt
index
1bcfc59
..
a14e390
100644
(file)
--- a/
CMakeLists.txt
+++ b/
CMakeLists.txt
@@
-334,6
+334,11
@@
else()
set(HAVE_THREAD_LOCAL_STORAGE 0)
endif()
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()
if(HAVE_MMAP AND HAVE_THREAD_LOCAL_STORAGE)
SET(HAVE_MMALLOC 1)
else()
@@
-358,7
+363,10
@@
endif()
include(FindLibunwind)
if(HAVE_LIBUNWIND)
include(FindLibunwind)
if(HAVE_LIBUNWIND)
- SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind -lunwind-ptrace")
+ 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)
# 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)
@@
-372,11
+380,6
@@
else()
endif()
endif()
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)
if(enable_model-checking)
SET(HAVE_MC 1)