diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2008-05-10 09:19:50 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2008-05-10 09:19:50 +0000 |
commit | 66f306ac4ec855184ff079427f5ad48144b43396 (patch) | |
tree | e6bbadfe20753654356035263f00fe37792c69ef /pkgs/tools | |
parent | 2741145987aea275572909b3fbff9a3d991b6f3c (diff) | |
download | nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar.gz nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar.bz2 nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar.lz nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar.xz nixlib-66f306ac4ec855184ff079427f5ad48144b43396.tar.zst nixlib-66f306ac4ec855184ff079427f5ad48144b43396.zip |
Removing tetex reference in E Prover
svn path=/nixpkgs/trunk/; revision=11810
Diffstat (limited to 'pkgs/tools')
-rw-r--r-- | pkgs/tools/misc/eProver/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/tools/misc/eProver/default.nix b/pkgs/tools/misc/eProver/default.nix index 1649a35004fc..0b21dfd78cde 100644 --- a/pkgs/tools/misc/eProver/default.nix +++ b/pkgs/tools/misc/eProver/default.nix @@ -9,12 +9,14 @@ stdenv.mkDerivation { sha256 = "1zm1xip840hlam60kqk6xf0ikvyk7ch3ql1ac6wb68dx2l6hyhxv"; }; - buildInputs =[which tetex]; + buildInputs =[which texLive]; preConfigure = "sed -e 's@^EXECPATH\\s.*@EXECPATH = '\$out'/bin@' -i Makefile.vars"; buildPhase = "make install"; - installCommand = "mkdir -p \$out/bin; make install-exec; make documentation ; + + # HOME=. allows to build missing TeX formats + installCommand = "mkdir -p \$out/bin; make install-exec; HOME=. make documentation ; mkdir -p \$out/share/doc ; cp -r DOC \$out/share/doc/EProver; echo eproof -xAuto --tstp-in --tstp-out '\"\$@\"' >\$out/bin/eproof-tptp; chmod a+x \$out/bin/eproof-tptp; "; |