summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
author alaNOn_aversa@lavabSPAMit.com <alaNOn_aversa@lavabSPAMit.com>2024-03-19 12:00:04 +0700
committer Willy Sudiarto Raharjo <willysr@slackbuilds.org>2024-03-19 13:05:29 +0700
commitae0466f0d79ab6eb5df4e59d3be6376011a7eb26 (patch)
tree47a7ec5eda128b6e497c1e30d524ee4b416f52d7
parente73a7778a089deac50527a69b0df4e94e8f9ce46 (diff)
downloadslackbuilds-willysr.tar.gz
slackbuilds-willysr.tar.xz
academic/cryptominisat: Updated for version 5.11.21.willysr
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
-rw-r--r--academic/cryptominisat/cryptominisat.SlackBuild6
-rw-r--r--academic/cryptominisat/cryptominisat.info10
2 files changed, 8 insertions, 8 deletions
diff --git a/academic/cryptominisat/cryptominisat.SlackBuild b/academic/cryptominisat/cryptominisat.SlackBuild
index 135e1dbfdc..976e326ca2 100644
--- a/academic/cryptominisat/cryptominisat.SlackBuild
+++ b/academic/cryptominisat/cryptominisat.SlackBuild
@@ -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
diff --git a/academic/cryptominisat/cryptominisat.info b/academic/cryptominisat/cryptominisat.info
index f65b039826..cb39e89a62 100644
--- a/academic/cryptominisat/cryptominisat.info
+++ b/academic/cryptominisat/cryptominisat.info
@@ -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)"