Skip to content

Commit e33de48

Browse files
spocinogallais
andauthored
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]>
1 parent 2471f09 commit e33de48

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

src/Compiler/Scheme/Chez.idr

+3-1
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,9 @@ schHeader chez libs whole
9494
(import (chezscheme))
9595
(case (machine-type)
9696
[(i3fb ti3fb a6fb ta6fb) #f]
97-
[(i3le ti3le a6le ta6le tarm64le) (load-shared-object "libc.so.6")]
97+
[(i3le ti3le a6le ta6le tarm64le)
98+
(with-exception-handler (lambda(x) (load-shared-object "libc.so"))
99+
(lambda () (load-shared-object "libc.so.6")))]
98100
[(i3osx ti3osx a6osx ta6osx tarm64osx tppc32osx tppc64osx) (load-shared-object "libc.dylib")]
99101
[(i3nt ti3nt a6nt ta6nt) (load-shared-object "msvcrt.dll")]
100102
[else (load-shared-object "libc.so")])

0 commit comments

Comments
 (0)