idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 644 forks source link

Add a guix.scm for easy building on Guix. #4916

Closed attila-lendvai closed 2 years ago

attila-lendvai commented 2 years ago

This enables the following on Guix:

To build and install a local, possibly modified checkout: guix package -f guix.scm

To build it, but not install it: guix build -f guix.scm

To use as the basis for a shell with the development environment: guix shell

melted commented 2 years ago

Thanks!