search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Fix builds on *BSD #310

Closed Kaiepi closed 4 years ago

Kaiepi commented 4 years ago

This makes it so gmake gets used instead of make on *BSD and refactors how platforms are handled in general.

edwinb commented 4 years ago

Thanks!