aboutsummaryrefslogtreecommitdiff
path: root/academic
diff options
context:
space:
mode:
authorNick Smallbone <nick@smallbone.se>2019-04-19 22:12:38 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2019-04-19 22:12:38 +0700
commitc4942e819da128b70b59132d873de0939548c336 (patch)
tree68a98e39a5cd3125b7ecd844a138532bb6fc321f /academic
parent5a6e6b8fef4d9e77d6548589b7bc53e7832dbc9e (diff)
academic/cvc4: Updated for version 1.7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic')
-rw-r--r--academic/cvc4/cvc4.SlackBuild41
-rw-r--r--academic/cvc4/cvc4.info10
2 files changed, 26 insertions, 25 deletions
diff --git a/academic/cvc4/cvc4.SlackBuild b/academic/cvc4/cvc4.SlackBuild
index ac0e78979678d..ce4b43bebfda4 100644
--- a/academic/cvc4/cvc4.SlackBuild
+++ b/academic/cvc4/cvc4.SlackBuild
@@ -23,9 +23,10 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=cvc4
-VERSION=${VERSION:-1.6}
+VERSION=${VERSION:-1.7}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
+SRCNAM=CVC4
if [ -z "$ARCH" ]; then
case "$( uname -m )" in
@@ -59,9 +60,9 @@ set -e
rm -rf $PKG
mkdir -p $TMP $PKG $OUTPUT
cd $TMP
-rm -rf $PRGNAM-$VERSION
-tar xvf $CWD/$PRGNAM-$VERSION.tar.gz
-cd $PRGNAM-$VERSION
+rm -rf $SRCNAM-$VERSION
+tar xvf $CWD/$SRCNAM-$VERSION.tar.gz
+cd $SRCNAM-$VERSION
chown -R root:root .
find -L . \
\( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
@@ -69,33 +70,31 @@ find -L . \
\( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
-o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
-CFLAGS="$SLKCFLAGS" \
-CXXFLAGS="$SLKCFLAGS" \
-CPPFLAGS="-I/usr/include/antlr3" \
-./configure \
- --prefix=/usr \
- --libdir=/usr/lib${LIBDIRSUFFIX} \
- --mandir=/usr/man \
- --docdir=/usr/doc/$PRGNAM-$VERSION \
- --build=$ARCH-slackware-linux \
- --enable-optimized
+sed -i "s/DESTINATION lib/DESTINATION lib${LIBDIRSUFFIX}/" src/CMakeLists.txt src/parser/CMakeLists.txt
+chmod +x $CWD/run-antlr
+
+cmake \
+ -DCMAKE_C_FLAGS:STRING="$SLKCFLAGS" \
+ -DCMAKE_CXX_FLAGS:STRING="$SLKCFLAGS" \
+ -DCMAKE_INSTALL_PREFIX=/usr \
+ -DCMAKE_BUILD_TYPE=Production \
+ -DENABLE_OPTIMIZED=ON \
+ -DANTLR_INCLUDE_DIR=/usr/include/antlr3 \
+ -DANTLR_BINARY="$CWD/run-antlr" \
+ .
-sed -i 's:#!/usr/bin/env python3:#!/usr/bin/env python:' src/options/mkoptions.py
make
make doc
-make install-strip DESTDIR=$PKG
-make install-examples DESTDIR=$PKG
+make install/strip DESTDIR=$PKG
+mv $PKG/usr/share/man $PKG/usr/man
find $PKG/usr/man -type f -exec gzip -9 {} \;
for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a \
- AUTHORS COPYING NEWS README RELEASE-NOTES THANKS \
+ AUTHORS COPYING NEWS README.md THANKS \
$PKG/usr/doc/$PRGNAM-$VERSION
-cp -a \
- doc/doxygen/html \
- $PKG/usr/doc/$PRGNAM-$VERSION/api
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
mkdir -p $PKG/install
diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info
index 9255ab5115375..9058f04efd9f2 100644
--- a/academic/cvc4/cvc4.info
+++ b/academic/cvc4/cvc4.info
@@ -1,10 +1,12 @@
PRGNAM="cvc4"
-VERSION="1.6"
+VERSION="1.7"
HOMEPAGE="https://cvc4.cs.stanford.edu/"
-DOWNLOAD="https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz"
-MD5SUM="aac9f3725d2247bcf5dcb87bbbbdf5bb"
+DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.7/CVC4-1.7.tar.gz \
+ https://www.antlr3.org/download/antlr-3.4-complete.jar"
+MD5SUM="eadb05f5092c4310f3bbe52745f9b7b9 \
+ 1b91dea1c7d480b3223f7c8a9aa0e172"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-REQUIRES="libantlr3c"
+REQUIRES="jdk libantlr3c"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"