diff options
Diffstat (limited to 'academic/cvc4/cvc4.SlackBuild')
| -rw-r--r-- | academic/cvc4/cvc4.SlackBuild | 27 |
1 files changed, 19 insertions, 8 deletions
diff --git a/academic/cvc4/cvc4.SlackBuild b/academic/cvc4/cvc4.SlackBuild index ce4b43bebf..d3a964cf03 100644 --- a/academic/cvc4/cvc4.SlackBuild +++ b/academic/cvc4/cvc4.SlackBuild @@ -2,7 +2,7 @@ # Slackware build script for cvc4 -# Copyright 2019 Nick Smallbone, Gothenburg, Sweden +# Copyright 2019-2020 Nick Smallbone, Gothenburg, Sweden # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -22,8 +22,12 @@ # OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +# TO DO: +# Add new Python bindings (requires a newer version of Cython?) +# Add Java bindings (requires a newer version of CMake?) + PRGNAM=cvc4 -VERSION=${VERSION:-1.7} +VERSION=${VERSION:-1.8} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} SRCNAM=CVC4 @@ -70,22 +74,29 @@ 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 {} \; -sed -i "s/DESTINATION lib/DESTINATION lib${LIBDIRSUFFIX}/" src/CMakeLists.txt src/parser/CMakeLists.txt -chmod +x $CWD/run-antlr +sed -i "s/LIBRARY_INSTALL_DIR lib/&${LIBDIRSUFFIX}/" CMakeLists.txt +install -m 755 $CWD/run-antlr . +cp $CWD/antlr-3.4-complete.jar . 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" \ + -DANTLR_BINARY="$TMP/$SRCNAM-$VERSION/run-antlr" \ + -DUSE_READLINE=OFF \ + -DBUILD_BINDINGS_PYTHON=OFF \ + -DBUILD_SWIG_BINDINGS_PYTHON=ON \ + -DBUILD_SWIG_BINDINGS_JAVA=OFF \ . make -make doc -make install/strip DESTDIR=$PKG +make install DESTDIR=$PKG + +find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ + | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true + mv $PKG/usr/share/man $PKG/usr/man find $PKG/usr/man -type f -exec gzip -9 {} \; |