if (minimal_java)
message(STATUS "Don't look for libunwind as we build a minimal jar file.")
+ if(enable_model-checking)
+ message(FATAL_ERROR "You cannot enable model-checking and minimal_java at the same time.")
+ endif()
else()
include(FindLibunwind)
if(HAVE_LIBUNWIND)
if(enable_smpi)
SET(HAVE_SMPI 1)
- if("${CMAKE_SYSTEM}" MATCHES "Darwin|FreeBSD|Linux")
+ if("${CMAKE_SYSTEM}" MATCHES "Darwin|FreeBSD|Linux|SunOS")
SET(HAVE_PRIVATIZATION 1)
else()
message (STATUS "Warning: no support for SMPI automatic privatization on this platform")
if(enable_python)
if(pybind11_FOUND)
message(STATUS "Found pybind11, with C++14.")
- pybind11_add_module(python-bindings src/bindings/python/simgrid_python.cpp)
+ if(NOT enable_lto)
+ set(pybind11_options NO_EXTRAS)
+ endif()
+ pybind11_add_module(python-bindings src/bindings/python/simgrid_python.cpp ${pybind11_options})
target_compile_features(python-bindings PRIVATE cxx_std_14)
target_link_libraries(python-bindings PUBLIC simgrid)
set_target_properties(python-bindings PROPERTIES