public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coq-tlc: fix package

Browse Source
This commit is contained in:
Vincent Laporte 2015-06-02 08:49:51 +02:00
parent 752528ac9c
commit d5a4c3d21d
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/coq-modules/tlc/default.nix
View File

@ -13,6 +13,15 @@ stdenv.mkDerivation {
buildInputs = [ coq.ocaml coq.camlp5 ]; buildInputs = [ coq.ocaml coq.camlp5 ];
propagatedBuildInputs = [ coq ]; propagatedBuildInputs = [ coq ];
preConfigure = ''
patch Makefile <<EOF
105c105
< \$(COQC) \$<
---
> \$(COQC) -R . Tlc \$<
EOF
'';
installPhase = '' installPhase = ''
COQLIB=$out/lib/coq/${coq.coq-version}/ COQLIB=$out/lib/coq/${coq.coq-version}/
mkdir -p $COQLIB/user-contrib/Tlc mkdir -p $COQLIB/user-contrib/Tlc