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/cryptominisat: Updated for version 5.11.3.

Browse source 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Alan Aversa 2022-10-08 12:15:25 +01:00 committed by Willy Sudiarto Raharjo
parent 7603d5eb30
commit 1075dede68
No known key found for this signature in database
GPG key ID: 3F617144D7238786
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
academic/cryptominisat/cryptominisat.SlackBuild
View file

@ -25,7 +25,7 @@
cd $(dirname $0) ; CWD=$(pwd)
PRGNAM=cryptominisat
VERSION=${VERSION:-5.7.1}
VERSION=${VERSION:-5.11.3}
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} \
-DUSE_GAUSS=ON \
-DCRYPTOMINISAT5_INSTALL_CMAKE_DIR=/usr/lib$LIBDIRSUFFIX/cmake/$PRGNAM${VERSION%%.*} \
-DCMAKE_BUILD_TYPE=Release ..
make
make install DESTDIR=$PKG

6
academic/cryptominisat/cryptominisat.info
View file

@ -1,8 +1,8 @@
PRGNAM="cryptominisat"
VERSION="5.7.1"
VERSION="5.11.3"
HOMEPAGE="https://www.msoos.org/cryptominisat5/"
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.7.1/cryptominisat-5.7.1.tar.gz"
MD5SUM="e4ff835bbfe1995cc5e62a6e464dfd98"
DOWNLOAD="https://github.com/msoos/cryptominisat/archive/5.11.3/cryptominisat-5.11.3.tar.gz"
MD5SUM="9396fbb0cd99e07d592c25e26b2091d6"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""