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

Fix installation for updated E prover release

Browse Source 
svn path=/nixpkgs/trunk/; revision=23435
This commit is contained in:
Michael Raskin 2010-08-26 04:34:20 +00:00
parent 05c7e81eaa
commit 4f6c18925d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/eProver/default.nix
View File

@ -18,7 +18,7 @@ stdenv.mkDerivation {
# HOME=. allows to build missing TeX formats # HOME=. allows to build missing TeX formats
installPhase = '' installPhase = ''
mkdir -p $out/bin mkdir -p $out/bin
make install-exec make install
HOME=. make documentation HOME=. make documentation
mkdir -p $out/share/doc mkdir -p $out/share/doc
cp -r DOC $out/share/doc/EProver cp -r DOC $out/share/doc/EProver