Date: Tuesday, October 4, 2022 @ 17:13:39
Author: arojas
Revision: 1321124
archrelease: copy trunk to community-x86_64
Added:
cryptominisat5/repos/community-x86_64/PKGBUILD
(from rev 1321123, cryptominisat5/trunk/PKGBUILD)
Deleted:
cryptominisat5/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 124 ++++++++++++++++++++++++++++++-------------------------------
1 file changed, 63 insertions(+), 61 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-10-04 17:13:31 UTC (rev 1321123)
+++ PKGBUILD 2022-10-04 17:13:39 UTC (rev 1321124)
@@ -1,61 +0,0 @@
-# Maintainer: Kyle Keen <[email protected]>
-
-# cms2 had a manpage, where did it go?
-# need to hack up the pythonpath and get the tests to run
-
-pkgname=cryptominisat5
-pkgver=5.11.2
-pkgrel=1
-pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
-arch=('x86_64')
-#url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/";
-url="https://github.com/msoos/cryptominisat/";
-license=('MIT')
-depends=('zlib' 'gcc-libs' 'boost-libs' 'sqlite' 'm4ri')
-makedepends=('python' 'boost' 'cmake' 'vim' 'help2man' 'python-setuptools')
-# vim for xxd
-optdepends=('python: python module')
-source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz";)
-md5sums=('39f431243ac8a9db1b3f0fd9045a1dcc')
-
-# many fancy features requiring makedeps
-# python3, m4ri, valgrind
-
-prepare() {
- cd cryptominisat-$pkgver
- sed -i 's/\(CRYPTOMINISAT4_EXECUTABLE\).*/\1 cryptominisat5\)/' *.cmake.in
-}
-
-build() {
- cd cryptominisat-$pkgver
- mkdir -p build
- cd build
- # options to play with:
- # -DUSE_ZLIB -DNOM4RI -DNOBOSPHORUS -DNOVALGRIND -DNOBREAKID
-DENABLE_PYTHON_INTERFACE
- # -DEMSCRIPTEN -DFEEDBACKFUZZ -DLARGEMEM -DEXTFEAT -DSANITIZE -DMIT
-DENABLE_ASSERTIONS
- # -DUSE_GAUSS -DONLY_SIMPLE -DENABLE_TESTING -DCOVERAGE -DIPASIR -DMANPAGE
- # -DSTATS -DWEIGHTED_SAMPLING -DFINAL_PREDICTOR -DFINAL_PREDICTOR_BRANCH
- cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr ..
- make
-
- cd ..
- python3 setup.py build
-}
-
-check() {
- cd cryptominisat-$pkgver
- _pythonpath=`echo build/lib.*`
- PYTHONPATH="$PWD/$_pythonpath" python3 python/tests/test_pycryptosat.py
-}
-
-package() {
- cd cryptominisat-$pkgver
- install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
- cd build
- make install DESTDIR="$pkgdir"
- # todo, tweak the build tools to respect DESTDIR
- cd ..
- python3 setup.py install --record files.txt --root="${pkgdir}"
- # Remove stray source files
- rm -r "$pkgdir"/usr/lib/python*/site-packages/{msvc,oracle,picosat}
-}
Copied: cryptominisat5/repos/community-x86_64/PKGBUILD (from rev 1321123,
cryptominisat5/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-10-04 17:13:39 UTC (rev 1321124)
@@ -0,0 +1,63 @@
+# Maintainer: Kyle Keen <[email protected]>
+
+# cms2 had a manpage, where did it go?
+# need to hack up the pythonpath and get the tests to run
+
+pkgname=cryptominisat5
+pkgver=5.11.4
+pkgrel=1
+pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
+arch=('x86_64')
+#url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/";
+url="https://github.com/msoos/cryptominisat/";
+license=('MIT')
+depends=('zlib' 'gcc-libs' 'boost-libs' 'sqlite' 'm4ri')
+makedepends=('python' 'boost' 'cmake' 'vim' 'help2man' 'python-setuptools')
+# vim for xxd
+optdepends=('python: python module')
+source=("cms5-$pkgver.tgz::https://github.com/msoos/cryptominisat/archive/$pkgver.tar.gz";)
+md5sums=('a0ace4c264655db6290e71f445f5da43')
+
+# many fancy features requiring makedeps
+# python3, m4ri, valgrind
+
+prepare() {
+ cd cryptominisat-$pkgver
+ sed -i 's/\(CRYPTOMINISAT4_EXECUTABLE\).*/\1 cryptominisat5\)/' *.cmake.in
+}
+
+build() {
+ cd cryptominisat-$pkgver
+ mkdir -p build
+ cd build
+ # options to play with:
+ # -DUSE_ZLIB -DNOM4RI -DNOBOSPHORUS -DNOVALGRIND -DNOBREAKID
-DENABLE_PYTHON_INTERFACE
+ # -DEMSCRIPTEN -DFEEDBACKFUZZ -DLARGEMEM -DEXTFEAT -DSANITIZE -DMIT
-DENABLE_ASSERTIONS
+ # -DUSE_GAUSS -DONLY_SIMPLE -DENABLE_TESTING -DCOVERAGE -DIPASIR -DMANPAGE
+ # -DSTATS -DWEIGHTED_SAMPLING -DFINAL_PREDICTOR -DFINAL_PREDICTOR_BRANCH
+ cmake -DCMAKE_INSTALL_PREFIX:PATH=/usr ..
+ make
+
+ cd ..
+ python3 setup.py build
+}
+
+check() {
+ cd cryptominisat-$pkgver
+ _pythonpath=`echo build/lib.*`
+ PYTHONPATH="$PWD/$_pythonpath" python3 python/tests/test_pycryptosat.py
+}
+
+package() {
+ cd cryptominisat-$pkgver
+ install -Dm644 LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+ cd build
+ make install DESTDIR="$pkgdir"
+ # todo, tweak the build tools to respect DESTDIR
+ cd ..
+ python3 setup.py install --record files.txt --root="${pkgdir}"
+ # Remove stray source files
+ rm -r "$pkgdir"/usr/lib/python*/site-packages/{msvc,oracle,picosat}
+ # Fix man install dir
+ mv "$pkgdir"/usr/{man,share}
+}
