Support for non-glibc versions of linux (musl, android) (#3336)

* Support for non-glibc versions of linux (musl, android) * [ update ] following Zoe's suggestion * [ fix ] thunking the proc --------- Co-authored-by: Guillaume Allais <[email protected]>
idris-lang · Feb 6, 2025 · e33de48 · e33de48
1 parent 2471f09
commit e33de48
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Compiler/Scheme/Chez.idr b/src/Compiler/Scheme/Chez.idr
@@ -94,7 +94,9 @@ schHeader chez libs whole
     (import (chezscheme))
     (case (machine-type)
       [(i3fb ti3fb a6fb ta6fb) #f]
-      [(i3le ti3le a6le ta6le tarm64le) (load-shared-object "libc.so.6")]
+      [(i3le ti3le a6le ta6le tarm64le)
+         (with-exception-handler (lambda(x) (load-shared-object "libc.so"))
+            (lambda () (load-shared-object "libc.so.6")))]
       [(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) (load-shared-object "libc.dylib")]
       [(i3nt ti3nt a6nt ta6nt) (load-shared-object "msvcrt.dll")]
       [else (load-shared-object "libc.so")])