From c50680bb86564fe61db61e6140a418ccc7d36677 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Wed, 23 Dec 2020 15:54:51 +0100
Subject: AArch64: macOS port

This commit adds support for macOS (and probably iOS) running on
AArch64 / ARM 64-bit / "Apple silicon" processors.
---
 cparser/Machine.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index 97bedb3b..43b6351b 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -242,6 +242,9 @@ let aarch64 =
                    struct_passing_style = SP_ref_callee; (* Wrong *)
                    struct_return_style = SR_ref } (* Wrong *)
 
+let aarch64_apple =
+  { aarch64 with char_signed = true }
+
 (* Add GCC extensions re: sizeof and alignof *)
 
 let gcc_extensions c =
-- 
cgit