Update E prover

This commit is contained in:
Michael Raskin 2012-12-09 00:36:38 +04:00
parent 0ee1e2ad41
commit 1c3434cc16
4 changed files with 20 additions and 7 deletions

View File

@ -1,12 +1,21 @@
{ stdenv, fetchurl, which, texLive }: { 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 { stdenv.mkDerivation {
name = "EProver-1.4"; inherit (s) name;
src = fetchurl { src = fetchurl {
name = "E-1.4.tar.gz"; name = "E-${s.version}.tar.gz";
url = "http://www4.informatik.tu-muenchen.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz"; inherit (s) url sha256;
sha256 = "1hxkr21xqkkh4bzqip6qf70w9xvvb8p20zzkvyin631ffgvyvr93";
}; };
buildInputs = [which texLive]; buildInputs = [which texLive];
@ -27,6 +36,7 @@ stdenv.mkDerivation {
''; '';
meta = { meta = {
inherit (s) version;
description = "E automated theorem prover"; description = "E automated theorem prover";
maintainers = [stdenv.lib.maintainers.raskin]; maintainers = [stdenv.lib.maintainers.raskin];
platforms = stdenv.lib.platforms.all; platforms = stdenv.lib.platforms.all;

View File

@ -0,0 +1,3 @@
url http://www4.informatik.tu-muenchen.de/~schulz/E/Download.html
version_link '[.]tgz$'
version '.*[/]V_([0-9.]+)[/].*' '\1'

View File

@ -11,4 +11,4 @@ echo "URL: $url" >&2
curl -L -k "$url" | sed -re 's/^/-/;s/[hH][rR][eE][fF]="([^"]*)"/\n+\1\n-/g' | \ curl -L -k "$url" | sed -re 's/^/-/;s/[hH][rR][eE][fF]="([^"]*)"/\n+\1\n-/g' | \
sed -e '/^-/d; s/^[+]//; /^#/d;'"s/^\\//$protocol:\\/\\/$server\\//g" | \ sed -e '/^-/d; s/^[+]//; /^#/d;'"s/^\\//$protocol:\\/\\/$server\\//g" | \
sed -re 's~^[^:]*$~'"$protocol://$basepath/&~" sed -re 's`^[^:]*$`'"$protocol://$basepath/&\`"

View File

@ -8634,7 +8634,7 @@ let
cvc3 = callPackage ../applications/science/logic/cvc3 {}; cvc3 = callPackage ../applications/science/logic/cvc3 {};
eprover = callPackage ../applications/science/logic/eProver { eprover = callPackage ../applications/science/logic/eprover {
texLive = texLiveAggregationFun { texLive = texLiveAggregationFun {
paths = [ paths = [
texLive texLiveExtra texLive texLiveExtra