4 files changed, 85 insertions, 0 deletions
diff --git a/make/stub_includes/common/gluegenint.h b/make/stub_includes/common/gluegenint.h
new file mode 100644
index 0000000..5fb4002
--- /dev/null
+++ b/make/stub_includes/common/gluegenint.h
@@ -0,0 +1,42 @@
+#ifndef __gluegen_int_h_
+#define __gluegen_int_h_
+
+#ifndef GLUEGEN_INT_TYPES_DEFINED
+    #define GLUEGEN_INT_TYPES_DEFINED
+    /* Define int32_t, int64_t, and uint64_t types for UST/MSC */
+    /* (as used in the GL_EXT_timer_query extension). */
+    #if defined(__STDC_VERSION__) && __STDC_VERSION__ >= 199901L
+        #include <inttypes.h>
+    #elif defined(__sun__)
+        #include <inttypes.h>
+        #if defined(__STDC__)
+            #if defined(__arch64__)
+                typedef long int int64_t;
+                typedef unsigned long int uint64_t;
+            #else
+                typedef long long int int64_t;
+                typedef unsigned long long int uint64_t;
+            #endif /* __arch64__ */
+        #endif /* __STDC__ */
+    #elif defined( __VMS )
+        #include <inttypes.h>
+    #elif defined(__SCO__) || defined(__USLC__)
+        #include <stdint.h>
+    #elif defined(__UNIXOS2__) || defined(__SOL64__)
+        typedef long int int32_t;
+        typedef unsigned long int uint32_t;
+        typedef long long int int64_t;
+        typedef unsigned long long int uint64_t;
+    #elif 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
+        #include <inttypes.h>     /* Fallback option */
+    #endif
+#endif
+
+#endif /* __gluegen_int_h_ */
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