From dfbef0d7703c59af4713151a95d6f23fb2204136 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 28 May 2015 21:53:27 +0200
Subject: coq-coqeal: fix installation

---
 pkgs/development/coq-modules/coqeal/default.nix | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix
index bfe83a74aae7..a9e69184c4e8 100644
--- a/pkgs/development/coq-modules/coqeal/default.nix
+++ b/pkgs/development/coq-modules/coqeal/default.nix
@@ -1,4 +1,4 @@
-{stdenv, fetchgit, coq, ssreflect, mathcomp}:
+{ stdenv, fetchgit, coq, mathcomp }:
 
 stdenv.mkDerivation rec {
 
@@ -11,10 +11,15 @@ stdenv.mkDerivation rec {
     sha256 = "1cvjz0yyqihdx1hp1h9x5x14kv9qf3rjhgqq4f7rv8bxcv9p1gv3";
   };
 
-  buildInputs = [ coq.ocaml coq.camlp5 ssreflect mathcomp ];
-  propagatedBuildInputs = [ coq ];
+  propagatedBuildInputs = [ mathcomp ];
 
-  preConfigure = "cd theory";
+  preConfigure = ''
+    cd theory
+    patch ./Make <<EOF
+    0a1
+    > -R . CoqEAL
+    EOF
+  '';
 
   installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
 
-- 
cgit 1.4.1