From e17c6049c6bb1cea5cd9baec3faff50e5b8e4f8b Mon Sep 17 00:00:00 2001
From: jD91mZM2 <me@krake.one>
Date: Wed, 15 Jul 2020 10:52:46 +0200
Subject: [PATCH] Fix libgmp compilation

---
 include/bits/stdio.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/bits/stdio.h b/include/bits/stdio.h
index 04bb2b9b..1eecbc07 100644
--- a/include/bits/stdio.h
+++ b/include/bits/stdio.h
@@ -6,6 +6,10 @@
 
 typedef struct FILE FILE;
 
+// A typedef doesn't suffice, because libgmp uses this definition to check if
+// STDIO was loaded.
+#define FILE FILE
+
 #ifdef __cplusplus
 extern "C" {
 #endif
-- 
GitLab