diff options
author | Nikolay Amiantov <ab@fmap.me> | 2015-05-19 16:14:14 +0300 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2015-05-21 14:57:17 +0200 |
commit | 7e55534e8d1da6054dd9934de97e293c3005fb57 (patch) | |
tree | 34820a8932797407069bd80519856f7e1157db4e /pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix | |
parent | 03f9f0a634c391d09aebf4b5e94ae6d3e70688f2 (diff) | |
download | nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar.gz nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar.bz2 nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar.lz nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar.xz nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.tar.zst nixpkgs-7e55534e8d1da6054dd9934de97e293c3005fb57.zip |
haskell-idris: fix build
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix b/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix index 7a73731e2c8..297c849d650 100644 --- a/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix +++ b/pkgs/development/haskell-modules/configuration-ghc-7.10.x.nix @@ -48,6 +48,19 @@ self: super: { # https://ghc.haskell.org/trac/ghc/ticket/9921 mkDerivation = drv: super.mkDerivation (drv // { doHoogle = false; }); + 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. + preBuild = '' + export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH + ''; + }); + in idris'.overrideScope (self: super: { + zlib = self.zlib_0_5_4_2; + }); + Extra = appendPatch super.Extra (pkgs.fetchpatch { url = "https://github.com/seereason/sr-extra/commit/29787ad4c20c962924b823d02a7335da98143603.patch"; sha256 = "193i1xmq6z0jalwmq0mhqk1khz6zz0i1hs6lgfd7ybd6qyaqnf5f"; |