3 files changed, 43 insertions, 0 deletions
diff --git a/make/stub_includes/replacement/inttypes.h b/make/stub_includes/replacement/inttypes.h
new file mode 100644
index 0000000..cb4f143
--- /dev/null
+++ b/make/stub_includes/replacement/inttypes.h
@@ -0,0 +1,18 @@
+#if defined(WIN32) && defined(__GNUC__)
+    #include <stdint.h>
+#elif defined(_WIN32)
+    typedef __int32 int32_t;
+    typedef unsigned __int32 uint32_t;
+    typedef __int64 int64_t;
+    typedef unsigned __int64 uint64_t;
+#else
+    typedef signed   int  int32_t;
+    typedef unsigned int uint32_t;
+    #if defined(__ia64__) || defined(__x86_64__)
+        typedef signed   long int  int64_t;
+        typedef unsigned long int uint64_t;
+    #else
+        typedef signed   long long int  int64_t;
+        typedef unsigned long long int uint64_t;
+    #endif
+#endif
diff --git a/make/stub_includes/replacement/stddef.h b/make/stub_includes/replacement/stddef.h
new file mode 100644
index 0000000..8aa7005
--- /dev/null
+++ b/make/stub_includes/replacement/stddef.h
@@ -0,0 +1,7 @@
+#if defined(_WIN64)
+    typedef __int64 ptrdiff_t;
+#elif defined(__ia64__) || defined(__x86_64__)
+    typedef long int ptrdiff_t;
+#else
+    typedef int ptrdiff_t;
+#endif
diff --git a/make/stub_includes/replacement/stdint.h b/make/stub_includes/replacement/stdint.h
new file mode 100644
index 0000000..cb4f143
--- /dev/null
+++ b/make/stub_includes/replacement/stdint.h
@@ -0,0 +1,18 @@
+#if defined(WIN32) && defined(__GNUC__)
+    #include <stdint.h>
+#elif defined(_WIN32)
+    typedef __int32 int32_t;
+    typedef unsigned __int32 uint32_t;
+    typedef __int64 int64_t;
+    typedef unsigned __int64 uint64_t;
+#else
+    typedef signed   int  int32_t;
+    typedef unsigned int uint32_t;
+    #if defined(__ia64__) || defined(__x86_64__)
+        typedef signed   long int  int64_t;
+        typedef unsigned long int uint64_t;
+    #else
+        typedef signed   long long int  int64_t;
+        typedef unsigned long long int uint64_t;
+    #endif
+#endif