From 70ac0f41015bc4f2738df0003651665ba1f5cc0c Mon Sep 17 00:00:00 2001 From: loovjo Date: Mon, 23 Aug 2021 23:34:52 +0200 Subject: [PATCH] Specify libc-name for tarm64osx --- src/Compiler/Scheme/Chez.idr | 2 +- src/Compiler/Scheme/ChezSep.idr | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Compiler/Scheme/Chez.idr b/src/Compiler/Scheme/Chez.idr index 77e735f11..18f3ac659 100644 --- a/src/Compiler/Scheme/Chez.idr +++ b/src/Compiler/Scheme/Chez.idr @@ -93,7 +93,7 @@ schHeader chez libs whole "(case (machine-type)\n" ++ " [(i3fb ti3fb a6fb ta6fb) #f]\n" ++ " [(i3le ti3le a6le ta6le tarm64le) (load-shared-object \"libc.so.6\")]\n" ++ - " [(i3osx ti3osx a6osx ta6osx) (load-shared-object \"libc.dylib\")]\n" ++ + " [(i3osx ti3osx a6osx ta6osx tarm64osx) (load-shared-object \"libc.dylib\")]\n" ++ " [(i3nt ti3nt a6nt ta6nt) (load-shared-object \"msvcrt.dll\")]\n" ++ " [else (load-shared-object \"libc.so\")])\n\n" ++ showSep "\n" (map (\x => "(load-shared-object \"" ++ escapeStringChez x ++ "\")") libs) ++ "\n\n" ++ diff --git a/src/Compiler/Scheme/ChezSep.idr b/src/Compiler/Scheme/ChezSep.idr index 32c0672f5..ec74bb69a 100644 --- a/src/Compiler/Scheme/ChezSep.idr +++ b/src/Compiler/Scheme/ChezSep.idr @@ -45,7 +45,7 @@ schHeader libs compilationUnits = unlines ++ ")" , "(case (machine-type)" , " [(i3le ti3le a6le ta6le tarm64le) (load-shared-object \"libc.so.6\")]" - , " [(i3osx ti3osx a6osx ta6osx) (load-shared-object \"libc.dylib\")]" + , " [(i3osx ti3osx a6osx ta6osx tarm64osx) (load-shared-object \"libc.dylib\")]" , " [(i3nt ti3nt a6nt ta6nt) (load-shared-object \"msvcrt.dll\")" , " (load-shared-object \"ws2_32.dll\")]" , " [else (load-shared-object \"libc.so\")]"