Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-16 19:50:19 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

academic/eprover: Updated for version 3.1.

Browse source 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Nick Smallbone 2024-09-07 17:58:13 +02:00 committed by Willy Sudiarto Raharjo
parent 4b4ae6b852
commit 2d10bebbf5
2 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
academic/eprover/eprover.SlackBuild
View file

@ -2,7 +2,7 @@
# Slackware build script for eprover
# Copyright 2019-2020 Nick Smallbone, Gothenburg, Sweden
# Copyright 2019-2024 Nick Smallbone, Gothenburg, Sweden
# All rights reserved.
#
# Redistribution and use of this script, with or without modification, is
@ -25,7 +25,7 @@
cd $(dirname $0) ; CWD=$(pwd)
PRGNAM=eprover
VERSION=${VERSION:-2.5}
VERSION=${VERSION:-3.1}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
PKGTYPE=${PKGTYPE:-tgz}
@ -59,6 +59,9 @@ elif [ "$ARCH" = "i686" ]; then
elif [ "$ARCH" = "x86_64" ]; then
SLKCFLAGS="-O2 -fPIC"
LIBDIRSUFFIX="64"
elif [ "$ARCH" = "aarch64" ]; then
SLKCFLAGS="-O2 -fPIC"
LIBDIRSUFFIX="64"
else
SLKCFLAGS="-O2"
LIBDIRSUFFIX=""
@ -70,7 +73,7 @@ rm -rf $PKG
mkdir -p $TMP $PKG $OUTPUT
cd $TMP
rm -rf E
tar xvf $CWD/E.tgz
tar xvf $CWD/E.tgz --warning=no-unknown-keyword
cd E
chown -R root:root .
find -L . \

6
academic/eprover/eprover.info
View file

@ -1,8 +1,8 @@
PRGNAM="eprover"
VERSION="2.5"
VERSION="3.1"
HOMEPAGE="http://www.eprover.org"
DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.5/E.tgz"
MD5SUM="f73852315dde1071acfa552b9532c7ab"
DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz"
MD5SUM="87ecb7e271e45776b40ddb1ce51ca8d3"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""