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 | |
parent | b2caceced316877aff8f15aadab87ec439a12e93 (diff) |
coqPackages_8_6.CoLoR: Fix installPhase
Diffstat (limited to 'pkgs/development')
-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 3fac09277d18e..c7aaf2a2e3299 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/; |