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

coqPackages_8_6.CoLoR: Fix installPhase

Browse Source
This commit is contained in:
John Wiegley 2017-07-18 19:25:53 -04:00
parent b2caceced3
commit 0bf019c99a
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/coq-modules/CoLoR/default.nix
View File

@ -10,7 +10,10 @@ stdenv.mkDerivation {
buildInputs = [ coq ]; buildInputs = [ coq ];
enableParallelBuilding = true; enableParallelBuilding = true;
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
installPhase = ''
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = http://color.inria.fr/; homepage = http://color.inria.fr/;