message(WARNING "FreeBSD + Model-Checking + Java = too much for now. Disabling the Java bindings.")
set(enable_java FALSE)
endif()
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -gdwarf-4")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -gdwarf-4")
else()
SET(SIMGRID_HAVE_MC 0)
set(HAVE_MMALLOC 0)