From c94442286358504cdc99c8d9dff299d73b31f82f Mon Sep 17 00:00:00 2001
From: Pascal Wittmann <mail@pascal-wittmann.de>
Date: Sat, 16 May 2015 12:12:34 +0200
Subject: [PATCH] lean: fixed build

---
 pkgs/applications/science/logic/lean/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix
index 4d391379e819..2d93fdd61968 100644
--- a/pkgs/applications/science/logic/lean/default.nix
+++ b/pkgs/applications/science/logic/lean/default.nix
@@ -14,7 +14,10 @@ stdenv.mkDerivation rec {
   buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ];
   enableParallelBuilding = true;
 
-  preConfigure = "cd src";
+  preConfigure = ''
+    patchShebangs bin/leantags
+    cd src
+  '';
 
   cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ];