3 files changed, 0 insertions, 43 deletions
diff --git a/make/stub_includes/replacement/inttypes.h b/make/stub_includes/replacement/inttypes.h
deleted file mode 100644
index cb4f143..0000000
--- a/make/stub_includes/replacement/inttypes.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#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
deleted file mode 100644
index 8aa7005..0000000
--- a/make/stub_includes/replacement/stddef.h
+++ /dev/null
@@ -1,7 +0,0 @@
-#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
deleted file mode 100644
index cb4f143..0000000
--- a/make/stub_includes/replacement/stdint.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#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