[debugallocator]

use mprotect only if the m4-test succeeded

[[Imported from SVN: r7016]]

dune/common/debugallocator.hh

@@ -5,13 +5,15 @@
 
 #include <exception>
 #include <typeinfo>
-#include <sys/mman.h>
 #include <vector>
 #include <iostream>
 #include <cstring>
 #include <cstdlib>
 #include <malloc.h>
 #include <new>
+#if HAVE_SYS_MMAN_H and HAVE_MPROTECT
+#include <sys/mman.h>
+#endif
 
 #include "mallocallocator.hh"
 
@@ -58,6 +60,7 @@ namespace Dune
     private:
       void memprotect(void* from, difference_type len, int prot)
       {
+#if HAVE_SYS_MMAN_H and HAVE_MPROTECT
         int result = mprotect(from, len, prot);
         if (result == -1)
         {
@@ -75,6 +78,9 @@ namespace Dune
                     << std::endl;
           abort();
         }
+#else
+        std::cerr << "WARNING: memory protection not available" << std::endl;
+#endif
       }
 
     public: