From d5a4c3d21daab86660b223bb9df0eab7880b5a1f Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 2 Jun 2015 08:49:51 +0200
Subject: [PATCH] coq-tlc: fix package

---
 pkgs/development/coq-modules/tlc/default.nix | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix
index b98ff613f9d..2d30db5a80d 100644
--- a/pkgs/development/coq-modules/tlc/default.nix
+++ b/pkgs/development/coq-modules/tlc/default.nix
@@ -13,6 +13,15 @@ stdenv.mkDerivation {
   buildInputs = [ coq.ocaml coq.camlp5 ];
   propagatedBuildInputs = [ coq ];
 
+  preConfigure = ''
+    patch Makefile <<EOF
+    105c105
+    < 	\$(COQC) \$<
+    ---
+    > 	\$(COQC) -R . Tlc \$<
+    EOF
+  '';
+
   installPhase = ''
     COQLIB=$out/lib/coq/${coq.coq-version}/
     mkdir -p $COQLIB/user-contrib/Tlc