diff options
author | davlum <david.lum91@gmail.com> | 2020-06-07 18:06:35 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-07 18:06:35 -0400 |
commit | a554e128330d36c076328858a333d9ae4f5dee0b (patch) | |
tree | ed4026ae8c0eb7d021cfdd67a8d2cb47b18bb96b /pkgs | |
parent | 53780e794487ce314c5988080701e640f544031a (diff) | |
download | nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar.gz nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar.bz2 nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar.lz nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar.xz nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.tar.zst nixlib-a554e128330d36c076328858a333d9ae4f5dee0b.zip |
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.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/idris2/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix index 998a02633f2e..d2a071b61ddf 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -22,7 +22,8 @@ stdenv.mkDerivation rec { patchShebangs --build tests ''; - makeFlags = [ "PREFIX=$(out)" ]; + makeFlags = [ "PREFIX=$(out)" ] + ++ stdenv.lib.optional stdenv.isDarwin "OS="; # The name of the main executable of pkgs.chez is `scheme` buildFlags = [ "bootstrap-build" "SCHEME=scheme" ]; @@ -36,9 +37,9 @@ stdenv.mkDerivation rec { meta = { description = "A purely functional programming language with first class types"; - homepage = https://github.com/idris-lang/Idris2; + homepage = "https://github.com/idris-lang/Idris2"; license = stdenv.lib.licenses.bsd3; maintainers = with stdenv.lib.maintainers; [ wchresta ]; + inherit (chez.meta) platforms; }; } - |