Accomodate GlueGen's new build in type, ie dummy stdint.h / stddef.h

Needs GlueGen 6b6b9b3b81cdc85b7260664ebec547756a6be5d7, branch sgothel_wip_fixes01.

1 files changed, 7 insertions, 17 deletions

diff --git a/make/stub_includes/common/stdint.h b/make/stub_includes/common/stdint.h
index 65e7fc22c..dd03d2d1e 100644
--- a/make/stub_includes/common/stdint.h
+++ b/make/stub_includes/common/stdint.h
@@ -1,17 +1,7 @@
-#if defined(_WIN32)
-    #error windows does not support stdint.h
-    // typedef signed   __int32 int32_t;
-    // typedef unsigned __int32 uint32_t;
-    // typedef signed   __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
+#ifndef __stdint_h
+#define __stdint_h
+
+#include <gluegen_types.h>
+
+#endif /* __stdint_h */
+