diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-08-25 22:38:11 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-08-25 22:38:11 +0000 |
commit | 05c7e81eaa95bc017a0c521f07877d81d6563f38 (patch) | |
tree | 6beaf6c01edeaf159f8c01a956faa5913632fd2f /pkgs/applications/science/logic | |
parent | 091be03f65b4576e1f83d00310e0dad3994dbafc (diff) | |
download | nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar.gz nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar.bz2 nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar.lz nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar.xz nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.tar.zst nixlib-05c7e81eaa95bc017a0c521f07877d81d6563f38.zip |
Move E prover to applications/science/logic
svn path=/nixpkgs/trunk/; revision=23434
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/eProver/default.nix | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix new file mode 100644 index 000000000000..9aca82295ba8 --- /dev/null +++ b/pkgs/applications/science/logic/eProver/default.nix @@ -0,0 +1,34 @@ +{ stdenv, fetchurl, which, texLive }: + +stdenv.mkDerivation { + name = "EProver-1.2"; + + src = fetchurl { + name = "E-1.2.tar.gz"; + url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.2/E.tgz"; + sha256 = "14sbpmh8vg376lrrq7i364aa8g5aacq344ihivxn6w4ydh9138nq"; + }; + + buildInputs = [which texLive]; + + preConfigure = "sed -e 's@^EXECPATH\\s.*@EXECPATH = '\$out'/bin@' -i Makefile.vars"; + + buildPhase = "make install"; + + # HOME=. allows to build missing TeX formats + installPhase = '' + 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 + ''; + + meta = { + description = "E automated theorem prover"; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.all; + }; +} |