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
..
default.nix	idris2: fix build on macOS (#89548)	2020-06-07 18:06:35 -04:00