idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-01 16:12:26 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #750 from ska80/refc-sysos

Browse Source 
[refc] Update 'sysOS' to recognize more BSD flavors
This commit is contained in:
Edwin Brady 2020-12-03 11:59:33 +00:00 committed by GitHub
commit 2e6aa126a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
support/refc/prim.c
View File

@ -86,6 +86,12 @@ Value *sysOS(void)
return (Value *)makeString("Linux");
#elif __FreeBSD__
return (Value *)makeString("FreeBSD");
#elif __OpenBSD__
return (Value *)makeString("OpenBSD");
#elif __NetBSD__
return (Value *)makeString("NetBSD");
#elif __DragonFly__
return (Value *)makeString("DragonFly");
#elif __unix || __unix__
return (Value *)makeString("Unix");
#else