alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Merge pull request #17880 from puffnfresh/issue/haskell-idris

Browse source 
idris: fix build not finding dynamic library
This commit is contained in:
Arseniy Seroka 2016-08-21 12:30:19 +03:00 committed by GitHub
parent 359ab67aee 04a022be6d
commit 6522715429
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/development/haskell-modules/configuration-common.nix
View file

@ -839,6 +839,9 @@ self: super: {
# https://github.com/guillaume-nargeot/hpc-coveralls/issues/52
hpc-coveralls = disableSharedExecutables super.hpc-coveralls;
# Can't find libHSidris-*.so during build.
idris = disableSharedExecutables super.idris;
# https://github.com/fpco/stackage/issues/838
cryptonite = dontCheck super.cryptonite;