From 00cd576021269f05e84dd36f3cee7afbfe90cede Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 16 Mar 2013 22:13:44 +0100
Subject: [PATCH] model-checker : fix compilation error without MC

---
 src/xbt/backtrace_linux.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/xbt/backtrace_linux.c b/src/xbt/backtrace_linux.c
index 81c62510b2..7ca189975a 100644
--- a/src/xbt/backtrace_linux.c
+++ b/src/xbt/backtrace_linux.c
@@ -12,7 +12,9 @@
 #include "xbt/str.h"
 #include "xbt/module.h"         /* xbt_binary_name */
 #include "xbt_modinter.h"       /* backtrace initialization headers */
+#ifdef HAVE_MC
 #include <libunwind.h>
+#endif
 /* end of "useless" inclusions */
 
 extern char **environ;          /* the environment, as specified by the opengroup */
@@ -367,6 +369,8 @@ void xbt_ex_setup_backtrace(xbt_ex_t * e) //FIXME: This code could be greatly im
   free(cmd);
 }
 
+#ifdef HAVE_MC
+
 int xbt_libunwind_backtrace(void* bt[XBT_BACKTRACE_SIZE], int size){
   
   int i = 0;
@@ -396,3 +400,5 @@ int xbt_libunwind_backtrace(void* bt[XBT_BACKTRACE_SIZE], int size){
   return i;
   
 }
+
+#endif
-- 
2.20.1