BoomMicrophone/nixpkgs-suyu

Fork 0

Commit graph

Author	SHA1	Message	Date
davlum	a554e12833	idris2: fix build on macOS (#89548 ) The idris2 Makefile tries to use different versions of sed depending on the OS, but nix always uses the same version. Because the version of sed that is expected on macOS doesn't exist in the nix environment, the build fails. Setting the OS to empty string resolves the issue.	2020-06-07 18:06:35 -04:00
wchresta	7fc97cf30b	idris2: 0.2.0-840e020 -> 0.2.0 * Upgrade to release version of idris2 * Add config for proper testing phase	2020-05-26 18:38:54 -04:00
wchresta	074c9cbe1c	idris2: init at version 0.2.0-840e020 A purely functional programming language with first class types	2020-05-23 12:54:27 -04:00

Author

SHA1

Message

Date

davlum

a554e12833

idris2: fix build on macOS (#89548 )

The idris2 Makefile tries to use different versions of sed depending on
the OS, but nix always uses the same version. Because the version of
sed that is expected on macOS doesn't exist in the nix environment, the
build fails. Setting the OS to empty string resolves the issue.

2020-06-07 18:06:35 -04:00

wchresta

7fc97cf30b

idris2: 0.2.0-840e020 -> 0.2.0

* Upgrade to release version of idris2
* Add config for proper testing phase

2020-05-26 18:38:54 -04:00

wchresta

074c9cbe1c

idris2: init at version 0.2.0-840e020

A purely functional programming language with first class types

2020-05-23 12:54:27 -04:00

3 commits