From 04a022be6d9db1942f9fa4a6d5f151613b68a0a4 Mon Sep 17 00:00:00 2001
From: Brian McKenna <brian@brianmckenna.org>
Date: Sun, 21 Aug 2016 12:57:57 +1000
Subject: [PATCH] idris: fix build not finding dynamic library
---
pkgs/development/haskell-modules/configuration-common.nix | 3 +++
1 file changed, 3 insertions(+)
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
index 12bfbd475f0d..7cba0d1599fd 100644
--- 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;