diff options
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR/default.nix')
-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/; |