From b66ec6026cbbbd74902105b908e3f8f28431932c Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Wed, 22 Feb 2017 17:36:23 +0100
Subject: [PATCH] idris: jailbreak

Fixes #23048
---
 pkgs/development/haskell-modules/configuration-common.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
index 1a7d928dbdd..e1cf22155a5 100644
--- a/pkgs/development/haskell-modules/configuration-common.nix
+++ b/pkgs/development/haskell-modules/configuration-common.nix
@@ -724,7 +724,7 @@ self: super: {
   });
 
   # test suite cannot find its own "idris" binary
-  idris = dontCheck super.idris;
+  idris = doJailbreak (dontCheck super.idris);
 
   # https://github.com/bos/math-functions/issues/25
   math-functions = dontCheck super.math-functions;