Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix compilation error without MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)
src/xbt/backtrace_linux.c

index 81c6251..7ca1899 100644 (file)
@@ -12,7 +12,9 @@
 #include "xbt/str.h"
 #include "xbt/module.h"         /* xbt_binary_name */
 #include "xbt_modinter.h"       /* backtrace initialization headers */
 #include "xbt/str.h"
 #include "xbt/module.h"         /* xbt_binary_name */
 #include "xbt_modinter.h"       /* backtrace initialization headers */
+#ifdef HAVE_MC
 #include <libunwind.h>
 #include <libunwind.h>
+#endif
 /* end of "useless" inclusions */
 
 extern char **environ;          /* the environment, as specified by the opengroup */
 /* 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);
 }
 
   free(cmd);
 }
 
+#ifdef HAVE_MC
+
 int xbt_libunwind_backtrace(void* bt[XBT_BACKTRACE_SIZE], int size){
   
   int i = 0;
 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;
   
 }
   return i;
   
 }
+
+#endif