diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 12:26:14 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 12:26:43 +0200 |
| commit | 7c63a9cac22531e9116d0bd44521a1f0cea3bf8d (patch) | |
| tree | 2c157741f0e9c41dff8beca10cbcab6ce117f7f2 /pkgs/applications | |
| parent | 08f1528eda26286381772b27803d118d1a20b270 (diff) | |
| download | nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar.gz nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar.bz2 nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar.lz nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar.xz nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.tar.zst nixlib-7c63a9cac22531e9116d0bd44521a1f0cea3bf8d.zip | |
eprover: 2.0 -> 2.1
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/eprover/default.nix | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/eprover/default.nix b/pkgs/applications/science/logic/eprover/default.nix index 9b0ba0799c78..95f5385fac3d 100644 --- a/pkgs/applications/science/logic/eprover/default.nix +++ b/pkgs/applications/science/logic/eprover/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "eprover-${version}"; - version = "2.0"; + version = "2.1"; src = fetchurl { url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz"; - sha256 = "1xmwr32pd8lv3f6yh720mdqhi3na505y3zbgcsgh2hwb7b5i3ngb"; + sha256 = "1gh99ajmza33f54idhqkdqxp5zh2k06jsf45drihnrzydlqv1n7l"; }; buildInputs = [ which ]; @@ -16,10 +16,6 @@ stdenv.mkDerivation rec { ''; configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man"; - postInstall = '' - sed -e s,EXECPATH=.\*,EXECPATH=$out/bin, -i $out/bin/eproof{,_ram} - ''; - meta = with stdenv.lib; { description = "Automated theorem prover for full first-order logic with equality"; homepage = http://www.eprover.org/; |