From adc23369a9cdbae235916bf44560b8469dd4831f Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 11 Apr 2019 16:14:42 +0200
Subject: cleaner: put all the special types, defines etc. in one header file

---
 runtime/include/ccomp_k1c_fixes.h | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 runtime/include/ccomp_k1c_fixes.h

(limited to 'runtime/include')

diff --git a/runtime/include/ccomp_k1c_fixes.h b/runtime/include/ccomp_k1c_fixes.h
new file mode 100644
index 00000000..679ab1ac
--- /dev/null
+++ b/runtime/include/ccomp_k1c_fixes.h
@@ -0,0 +1,11 @@
+#ifndef __CCOMP_KIC_FIXES_H
+#define __CCOMP_KIC_FIXES_H
+
+#undef __GNUC__
+#define __thread
+
+struct __int128_ccomp { long __int128_ccomp_low; long __int128_ccomp_high; };
+
+#define __int128 struct __int128_ccomp
+
+#endif
-- 
cgit