idris: fix build not finding dynamic library

2016-08-21 12:57:57 +10:00 · 2016-08-21 12:57:57 +10:00 · 04a022be6d
commit 04a022be6d
parent a28ca06298
1 changed files with 3 additions and 0 deletions
--- a/pkgs/development/haskell-modules/configuration-common.nix
+++ b/pkgs/development/haskell-modules/configuration-common.nix
@ -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;