diff options
| author | Nick Smallbone <nick@smallbone.se> | 2019-04-19 22:12:38 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-04-19 22:12:38 +0700 |
| commit | c4942e819da128b70b59132d873de0939548c336 (patch) | |
| tree | 68a98e39a5cd3125b7ecd844a138532bb6fc321f /academic/cvc4 | |
| parent | 5a6e6b8fef4d9e77d6548589b7bc53e7832dbc9e (diff) | |
academic/cvc4: Updated for version 1.7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4')
| -rw-r--r-- | academic/cvc4/cvc4.SlackBuild | 41 | ||||
| -rw-r--r-- | academic/cvc4/cvc4.info | 10 |
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" |