academic/cryptominisat: Updated for version 5.11.21.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
parent
e73a7778a0
commit
ae0466f0d7
|
@ -2,7 +2,7 @@
|
|||
|
||||
# Slackware build script for cryptominisat
|
||||
|
||||
# Copyright 2019 Alan Aversa USA
|
||||
# Copyright 2024 Caterino Tommaso, T.O.P. USA
|
||||
# All rights reserved.
|
||||
#
|
||||
# Redistribution and use of this script, with or without modification, is
|
||||
|
@ -25,7 +25,7 @@
|
|||
cd $(dirname $0) ; CWD=$(pwd)
|
||||
|
||||
PRGNAM=cryptominisat
|
||||
VERSION=${VERSION:-5.11.3}
|
||||
VERSION=${VERSION:-5.11.21}
|
||||
BUILD=${BUILD:-1}
|
||||
TAG=${TAG:-_SBo}
|
||||
PKGTYPE=${PKGTYPE:-tgz}
|
||||
|
@ -89,7 +89,7 @@ cd build
|
|||
-DCMAKE_CXX_FLAGS:STRING="$SLKCFLAGS" \
|
||||
-DCMAKE_INSTALL_PREFIX=/usr \
|
||||
-DCMAKE_INSTALL_LIBDIR=lib${LIBDIRSUFFIX} \
|
||||
-DCRYPTOMINISAT5_INSTALL_CMAKE_DIR=/usr/lib$LIBDIRSUFFIX/cmake/$PRGNAM${VERSION%%.*} \
|
||||
-DUSE_GAUSS=ON \
|
||||
-DCMAKE_BUILD_TYPE=Release ..
|
||||
make
|
||||
make install DESTDIR=$PKG
|
||||
|
|
|
@ -1,10 +1,10 @@
|
|||
PRGNAM="cryptominisat"
|
||||
VERSION="5.11.3"
|
||||
VERSION="5.11.21"
|
||||
HOMEPAGE="https://www.msoos.org/cryptominisat5/"
|
||||
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.11.3/cryptominisat-5.11.3.tar.gz"
|
||||
MD5SUM="9396fbb0cd99e07d592c25e26b2091d6"
|
||||
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.11.21/cryptominisat-5.11.21.tar.gz"
|
||||
MD5SUM="7f2fbe1975c9045d351a7921f4028b38"
|
||||
DOWNLOAD_x86_64=""
|
||||
MD5SUM_x86_64=""
|
||||
REQUIRES=""
|
||||
MAINTAINER="Alan Aversa"
|
||||
EMAIL="aveNOrsa@email.ariSPAMzona.edu"
|
||||
MAINTAINER="Caterino Tommaso, T.O.P."
|
||||
EMAIL="alaNOn_aversa@lavabSPAMit.com (remove NO and SPAM)"
|
||||
|
|
Loading…
Reference in New Issue