idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #312 from ska80/support-chez

Browse Source 
Update Chez support for *BSD operating systems
This commit is contained in:
Niklas Larsson 2020-06-16 14:40:45 +02:00 committed by GitHub
commit 4c6670966d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
support/chez/support.ss
View File

@ -1,6 +1,9 @@
(define (blodwen-os) (define (blodwen-os)
(case (machine-type) (case (machine-type)
[(i3le ti3le a6le ta6le) "unix"] [(i3le ti3le a6le ta6le) "unix"] ; GNU/Linux
[(i3ob ti3ob a6ob ta6ob) "unix"] ; OpenBSD
[(i3fb ti3fb a6fb ta6fb) "unix"] ; FreeBSD
[(i3nb ti3nb a6nb ta6nb) "unix"] ; NetBSD
[(i3osx ti3osx a6osx ta6osx) "darwin"] [(i3osx ti3osx a6osx ta6osx) "darwin"]
[(i3nt ti3nt a6nt ta6nt) "windows"] [(i3nt ti3nt a6nt ta6nt) "windows"]
[else "unknown"])) [else "unknown"]))