search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 369 forks source link

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

Open spocino opened 4 days ago

spocino commented 4 days ago

check if a linux implementation uses glibc to decide whether to load "glibc.so.6" or "glibc.so"