haskell-idris: add missing libgmp build input

This commit is contained in:
Peter Simons 2015-08-06 18:53:19 +02:00
parent 50483ce100
commit 60d5d37f2a

View file

@ -47,13 +47,14 @@ self: super: {
idris =
let idris' = overrideCabal super.idris (drv: {
# "idris" binary cannot find Idris library otherwise while building.
# After installing it's completely fine though.
# Seems like Nix-specific issue so not reported.
# After installing it's completely fine though. Seems like Nix-specific
# issue so not reported.
preBuild = "export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH";
# add missing libgmp build input
# https://github.com/idris-lang/Idris-dev/issues/2499
librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp];
});
in idris'.overrideScope (self: super: {
# https://github.com/idris-lang/Idris-dev/issues/2500
zlib = self.zlib_0_5_4_2;
});