diff options
author | Peter Simons <simons@cryp.to> | 2017-08-23 14:03:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-23 14:03:39 +0200 |
commit | 1fb8734fddc24c6cb55285b85d2b745a4a65ae67 (patch) | |
tree | 45f594e148658374c2837ec9e04f1f9f1cc01ae2 /pkgs/development/haskell-modules | |
parent | fbaa12bad90e3c8726a5427fdd981dc60c7f08ff (diff) | |
parent | b438d394ceb1273de5838b1d6dc81fa46cb30381 (diff) | |
download | nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar.gz nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar.bz2 nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar.lz nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar.xz nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.tar.zst nixlib-1fb8734fddc24c6cb55285b85d2b745a4a65ae67.zip |
Merge pull request #28492 from ttuegel/idris-packages
Update Idris
Diffstat (limited to 'pkgs/development/haskell-modules')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index ee1ed27261a3..be35c447e720 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -697,6 +697,11 @@ self: super: { # test suite cannot find its own "idris" binary idris = doJailbreak (dontCheck super.idris); + idris_1_1_1 = overrideCabal (doJailbreak (dontCheck super.idris_1_1_1)) (drv: { + # The standard libraries are compiled separately + configureFlags = (drv.configureFlags or []) ++ [ "-fexeconly" ]; + }); + # https://github.com/bos/math-functions/issues/25 math-functions = dontCheck super.math-functions; |