diff options
author | Thomas Tuegel <ttuegel@mailbox.org> | 2017-08-22 19:49:25 -0500 |
---|---|---|
committer | Thomas Tuegel <ttuegel@mailbox.org> | 2017-08-23 06:45:32 -0500 |
commit | b438d394ceb1273de5838b1d6dc81fa46cb30381 (patch) | |
tree | 0b1cecfa8115b99df6b61a35581dc2223f5d8f03 /pkgs/development/haskell-modules | |
parent | ca381067e77f01b875cacdee3fe0934c87b89bda (diff) | |
download | nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar.gz nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar.bz2 nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar.lz nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar.xz nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.tar.zst nixpkgs-b438d394ceb1273de5838b1d6dc81fa46cb30381.zip |
idrisPackages.idris: 1.0 -> 1.1.1
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 8ab751166c5..9f05dd4720d 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; |