2
0
Fork 0
genodepkgs/overlay/boehmgc/genode.patch

18 lines
513 B
Diff

diff --git a/include/private/gcconfig.h b/include/private/gcconfig.h
index 348255d..5e0b7cd 100644
--- a/include/private/gcconfig.h
+++ b/include/private/gcconfig.h
@@ -697,6 +697,12 @@ EXTERN_C_BEGIN
# define mach_type_known
# endif
+# if defined(__GENODE__) && (defined(__amd64__) || defined(__x86_64__))
+# define X86_64
+# define GENODE
+# define mach_type_known
+# endif
+
/* Feel free to add more clauses here */
/* Or manually define the machine type here. A machine type is */