idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Samuel Pocino 2024-06-29 19:36:54 -04:00 committed by GitHub
parent 57f455d135
commit 96929c818b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Compiler/Scheme/Chez.idr
View File

@ -94,7 +94,13 @@ 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)
(let ((os-str
(let-values (((in out err pid) (open-process-ports "uname -o" 'block (make-transcoder (utf-8-codec)))))
(get-string-all out))))
(if (string=? os-str "GNU/Linux\n")
(load-shared-object "libc.so.6")
(load-shared-object "libc.so")))]
[(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")])