diff options
Diffstat (limited to 'pkgs/applications/science/logic/eprover/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix | 44 |
1 files changed, 44 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..8cc1de6e8dad --- /dev/null +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -0,0 +1,44 @@ +{ stdenv, fetchurl, which, texLive }: +let + s = # Generated upstream information + rec { + baseName="eprover"; + version="1.6"; + name="${baseName}-${version}"; + hash="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; + url="http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.6/E.tgz"; + sha256="140cnw4qck1hancrqdh0f77yfba5ljhdnfxdxsl0a86a6y7ydbwi"; + }; +in +stdenv.mkDerivation { + inherit (s) name; + + src = fetchurl { + name = "E-${s.version}.tar.gz"; + inherit (s) url sha256; + }; + + 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 + 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 = { + inherit (s) version; + description = "E automated theorem prover"; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.all; + }; +} |