From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 28 Jul 2022 11:50:37 +0000 (+0200)
Subject: Stick to dwarf-4 for MC builds.
X-Git-Tag: v3.32~130
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/31ddf2bdaa6849e11dc0d3c800b53c6e9de896c0

Stick to dwarf-4 for MC builds.

TODO: add support for dwarf-5
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6a4c36da08..048ddd6ff0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -412,6 +412,8 @@ if(enable_model-checking)
     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)