public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskellPackages.idris: Fix build

This commit is contained in:
Silvan Mosberger 2019-01-19 19:25:30 +01:00 committed by Peter Simons
parent 35049bc155
commit d6b74a4145
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/haskell-modules/configuration-common.nix
View File

@ -725,7 +725,10 @@ self: super: {
# The standard libraries are compiled separately
idris = generateOptparseApplicativeCompletion "idris" (
doJailbreak (dontCheck super.idris)
doJailbreak (dontCheck (super.idris.override {
# Needed for versions <= 1.3.1 https://github.com/idris-lang/Idris-dev/pull/4610
megaparsec = self.megaparsec_6_5_0;
}))
);
# https://github.com/bos/math-functions/issues/25