diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-28 21:53:27 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-29 11:42:45 +0200 |
commit | dfbef0d7703c59af4713151a95d6f23fb2204136 (patch) | |
tree | 90f41ea25a7979dcfdb53061916ab5228a005705 /pkgs/development/coq-modules/coqeal | |
parent | 1db5bafc94abd0807b5f8bc1f59951cef073e70b (diff) |
coq-coqeal: fix installation
Diffstat (limited to 'pkgs/development/coq-modules/coqeal')
-rw-r--r-- | pkgs/development/coq-modules/coqeal/default.nix | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix index bfe83a74aae74..a9e69184c4e8f 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}/"; |