diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-07-18 19:25:53 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-07-18 20:22:03 -0400 |
| commit | 0bf019c99a707a23d279d196ff9c463175f4a5a6 (patch) | |
| tree | 675eb103e03b5cc2091c395d34e64c1c9c13d7c7 /pkgs/development/coq-modules/CoLoR | |
| parent | b2caceced316877aff8f15aadab87ec439a12e93 (diff) | |
| download | nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar.gz nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar.bz2 nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar.lz nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar.xz nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.tar.zst nixlib-0bf019c99a707a23d279d196ff9c463175f4a5a6.zip | |
coqPackages_8_6.CoLoR: Fix installPhase
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR')
| -rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index 3fac09277d18..c7aaf2a2e329 100644 --- a/pkgs/development/coq-modules/CoLoR/default.nix +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -10,7 +10,10 @@ stdenv.mkDerivation { buildInputs = [ coq ]; 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; { homepage = http://color.inria.fr/; |