Rename gras_config to internal_config.

[simgrid.git] / src / portable.h

diff --git a/src/portable.h b/src/portable.h
index f9dc951..f18a878 100644 (file)
--- a/src/portable.h
+++ b/src/portable.h
@@ -10,7 +10,7 @@
 #ifndef GRAS_PORTABLE_H
 #define GRAS_PORTABLE_H
 
-#include "gras_config.h"
+#include "internal_config.h"
 #include "xbt/misc.h"
 /* 
  * win32 or win64 (__XBT_WIN32 is defined for win32 and win64 applications, __TOS_WIN__ is defined by xlC).
@@ -31,6 +31,13 @@
 #  include <unistd.h>
 #endif
 
+#ifdef HAVE_SYS_PARAM_H
+# include <sys/param.h>
+#endif
+#ifdef HAVE_SYS_SYSCTL_H
+# include <sys/sysctl.h>
+#endif
+
 /****
  **** Networking 
  ****/