mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-29 15:43:00 +00:00
eprover: 1.9 -> 1.9.1
This commit is contained in:
parent
0fa64b718f
commit
dd4a015aa8
@ -1,46 +1,29 @@
|
|||||||
{ stdenv, fetchurl, which }:
|
{ stdenv, fetchurl, which }:
|
||||||
let
|
stdenv.mkDerivation rec {
|
||||||
s = # Generated upstream information
|
name = "eprover-${version}";
|
||||||
rec {
|
version = "1.9.1";
|
||||||
baseName="eprover";
|
|
||||||
version="1.9";
|
|
||||||
name="${baseName}-${version}";
|
|
||||||
hash="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4";
|
|
||||||
url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.9/E.tgz";
|
|
||||||
sha256="0vipapqjg0339lpc98vpvz58m6xkqrhgxylmp0hrnld4lrhmcdn4";
|
|
||||||
};
|
|
||||||
in
|
|
||||||
stdenv.mkDerivation {
|
|
||||||
inherit (s) name;
|
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
name = "E-${s.version}.tar.gz";
|
url = "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz";
|
||||||
inherit (s) url sha256;
|
sha256 = "1vi977mdfqnj04m590aw4896nqzlc4c5rqadjzk86z1zvj7mqnqw";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ which ];
|
buildInputs = [ which ];
|
||||||
|
|
||||||
preConfigure = ''
|
preConfigure = ''
|
||||||
sed -e 's@^EXECPATH\\s.*@EXECPATH = '\$out'/bin@' \
|
sed -e 's/ *CC *= gcc$//' -i Makefile.vars
|
||||||
-e 's/^CC *= gcc$//' \
|
'';
|
||||||
-i Makefile.vars
|
configureFlags = "--exec-prefix=$(out) --man-prefix=$(out)/share/man";
|
||||||
|
|
||||||
|
postInstall = ''
|
||||||
|
sed -e s,EXECPATH=.\*,EXECPATH=$out/bin, -i $out/bin/eproof{,_ram}
|
||||||
'';
|
'';
|
||||||
|
|
||||||
buildPhase = "make install";
|
meta = with stdenv.lib; {
|
||||||
|
|
||||||
installPhase = ''
|
|
||||||
mkdir -p $out/bin
|
|
||||||
make install
|
|
||||||
echo eproof -xAuto --tstp-in --tstp-out '"$@"' > $out/bin/eproof-tptp
|
|
||||||
chmod a+x $out/bin/eproof-tptp
|
|
||||||
'';
|
|
||||||
|
|
||||||
meta = {
|
|
||||||
inherit (s) version;
|
|
||||||
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/;
|
||||||
license = stdenv.lib.licenses.gpl2;
|
license = licenses.gpl2;
|
||||||
maintainers = [stdenv.lib.maintainers.raskin];
|
maintainers = with maintainers; [ raskin gebner ];
|
||||||
platforms = stdenv.lib.platforms.all;
|
platforms = platforms.all;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
@ -1,3 +0,0 @@
|
|||||||
url http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/Download.html
|
|
||||||
version_link '[.]tgz$'
|
|
||||||
version '.*[/]V_([0-9.]+)[/].*' '\1'
|
|
Loading…
Reference in New Issue
Block a user