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

eprover: 2.0 -> 2.1

Browse Source
This commit is contained in:
Gabriel Ebner 2018-07-05 12:26:14 +02:00
parent 08f1528eda
commit 7c63a9cac2
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/eprover/default.nix
View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "eprover-${version}"; name = "eprover-${version}";
version = "2.0"; version = "2.1";
src = fetchurl { src = fetchurl {
url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz"; url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz";
sha256 = "1xmwr32pd8lv3f6yh720mdqhi3na505y3zbgcsgh2hwb7b5i3ngb"; sha256 = "1gh99ajmza33f54idhqkdqxp5zh2k06jsf45drihnrzydlqv1n7l";
}; };
buildInputs = [ which ]; buildInputs = [ which ];
@ -16,10 +16,6 @@ stdenv.mkDerivation rec {
''; '';
configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man"; 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; { meta = with stdenv.lib; {
description = "Automated theorem prover for full first-order logic with equality"; description = "Automated theorem prover for full first-order logic with equality";
homepage = http://www.eprover.org/; homepage = http://www.eprover.org/;