fixed double typedef in build

2 files changed, 27 insertions, 0 deletions

diff --git a/resources/CL/stddef.h b/resources/CL/stddef.h
index 8aa70051..fde2fe19 100644
--- a/resources/CL/stddef.h
+++ b/resources/CL/stddef.h
@@ -5,3 +5,8 @@
 #else
     typedef int ptrdiff_t;
 #endif
+
+#define NULL ((void *)0)
+    typedef int wchar_t;
+
+#include <inttypes.h>
\ No newline at end of file
diff --git a/resources/CL/stdint.h b/resources/CL/stdint.h
index f8bee857..6db5e110 100644
--- a/resources/CL/stdint.h
+++ b/resources/CL/stdint.h
@@ -1,3 +1,4 @@
+
 #if defined(_WIN32)
     #error windows does not support stdint.h
     // typedef signed   __int32 int32_t;
@@ -6,9 +7,11 @@
     // typedef unsigned __int64 uint64_t;
 #else
 
+// only needed for src generation, not later at compile time
     typedef signed   char     int8_t;
     typedef unsigned short    int16_t;
     typedef          int      int32_t;
+
     typedef unsigned char     uint8_t;
     typedef unsigned short    uint16_t;
     typedef unsigned int      uint32_t;
@@ -17,7 +20,26 @@
     typedef unsigned int      uintptr_t;
 
     typedef unsigned int      size_t;
+    #  define __int8_t_defined
 
+    /* Greatest-width integer types */
+    /* Modern GCCs provide __INTMAX_TYPE__ */
+    #if defined(__INTMAX_TYPE__)
+      typedef __INTMAX_TYPE__ intmax_t;
+    #elif __have_longlong64
+      typedef signed long long intmax_t;
+    #else
+      typedef signed long intmax_t;
+    #endif
+
+    /* Modern GCCs provide __UINTMAX_TYPE__ */
+    #if defined(__UINTMAX_TYPE__)
+      typedef __UINTMAX_TYPE__ uintmax_t;
+    #elif __have_longlong64
+      typedef unsigned long long uintmax_t;
+    #else
+      typedef unsigned long uintmax_t;
+    #endif
 
     #if defined(__ia64__) || defined(__x86_64__)
         typedef signed   long int  int64_t;