haskell-idris: override to add undeclared libgmp build input
This commit is contained in:
@@ -49,9 +49,9 @@ self: super: {
|
|||||||
# "idris" binary cannot find Idris library otherwise while building.
|
# "idris" binary cannot find Idris library otherwise while building.
|
||||||
# After installing it's completely fine though.
|
# After installing it's completely fine though.
|
||||||
# Seems like Nix-specific issue so not reported.
|
# Seems like Nix-specific issue so not reported.
|
||||||
preBuild = ''
|
preBuild = "export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH";
|
||||||
export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH
|
# add missing libgmp build input
|
||||||
'';
|
librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp];
|
||||||
});
|
});
|
||||||
in idris'.overrideScope (self: super: {
|
in idris'.overrideScope (self: super: {
|
||||||
zlib = self.zlib_0_5_4_2;
|
zlib = self.zlib_0_5_4_2;
|
||||||
|
|||||||
Reference in New Issue
Block a user