From: Marion Guthmuller Date: Thu, 27 Sep 2012 16:08:28 +0000 (+0200) Subject: model-checker : add libunwind in simgrid dependencies X-Git-Tag: v3_8~133 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4e60b23928dbe1e46e52ff2a1a6cd7bedf74f7f3?hp=8eb44d6e2b6c63e7a18fe315f00da4dca0957324 model-checker : add libunwind in simgrid dependencies --- 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)