From 4e60b23928dbe1e46e52ff2a1a6cd7bedf74f7f3 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 27 Sep 2012 18:08:28 +0200 Subject: [PATCH] model-checker : add libunwind in simgrid dependencies --- buildtools/Cmake/MakeLib.cmake | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/buildtools/Cmake/MakeLib.cmake b/buildtools/Cmake/MakeLib.cmake index 166429acb8..96b330efa9 100644 --- a/buildtools/Cmake/MakeLib.cmake +++ b/buildtools/Cmake/MakeLib.cmake @@ -114,6 +114,14 @@ if(HAVE_GTNETS) SET(SIMGRID_DEP "${SIMGRID_DEP} -lgtnets") endif(HAVE_GTNETS) +if(HAVE_MC) + if(PROCESSOR_x86_64) + SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind-x86_64") + else(PROCESSOR_x86_64) + SET(SIMGRID_DEP "${SIMGRID_DEP} -lunwind") + endif(PROCESSOR_x86_64) +endif(HAVE_MC) + if(HAVE_NS3) if(${NS3_VERSION} EQUAL 310) SET(SIMGRID_DEP "${SIMGRID_DEP} -lns3") @@ -156,4 +164,4 @@ endif(enable_lib_static) ################################### if(enable_maintainer_mode AND BISON_EXE AND LEX_EXE) add_dependencies(simgrid automaton_generated_src) -endif(enable_maintainer_mode AND BISON_EXE AND LEX_EXE) \ No newline at end of file +endif(enable_maintainer_mode AND BISON_EXE AND LEX_EXE) -- 2.20.1