diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-08-26 04:34:20 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-08-26 04:34:20 +0000 |
commit | 4f6c18925dcd3b036f41eb2321a7921cfddcce87 (patch) | |
tree | bb6baece35de6208809ce8f17b5da4d64432b84c /pkgs/applications/science/logic | |
parent | 05c7e81eaa95bc017a0c521f07877d81d6563f38 (diff) | |
download | nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar.gz nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar.bz2 nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar.lz nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar.xz nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.tar.zst nixlib-4f6c18925dcd3b036f41eb2321a7921cfddcce87.zip |
Fix installation for updated E prover release
svn path=/nixpkgs/trunk/; revision=23435
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/eProver/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix index 9aca82295ba8..138995036a63 100644 --- a/pkgs/applications/science/logic/eProver/default.nix +++ b/pkgs/applications/science/logic/eProver/default.nix @@ -18,7 +18,7 @@ stdenv.mkDerivation { # HOME=. allows to build missing TeX formats installPhase = '' mkdir -p $out/bin - make install-exec + make install HOME=. make documentation mkdir -p $out/share/doc cp -r DOC $out/share/doc/EProver |