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.
---
 driver/Frontend.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'driver')

diff --git a/driver/Frontend.ml b/driver/Frontend.ml
index bb97e945..183908d3 100644
--- a/driver/Frontend.ml
+++ b/driver/Frontend.ml
@@ -117,7 +117,9 @@ let init () =
     | "riscV"   -> if Configuration.model = "64"
                    then Machine.rv64
                    else Machine.rv32
-    | "aarch64" -> Machine.aarch64
+    | "aarch64" -> if Configuration.abi = "apple"
+                   then Machine.aarch64_apple
+                   else Machine.aarch64
     | _         -> assert false
   end;
   Env.set_builtins C2C.builtins;
-- 
cgit