endif()
endif()
-## We need a decent support of the C++14 and C11 standards
+## We need a decent support of the C++17 and C11 standards
set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
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)