Package Details: minisat-git 2.2.1.r3.gf7d16b9-1

Git Clone URL: (read-only, click to copy)
Package Base: minisat-git
Description: A minimalistic and high-performance SAT solver (git version)
Upstream URL:
Licenses: MIT
Conflicts: minisat
Submitter: dkasak
Maintainer: dkasak
Last Packager: dkasak
Votes: 2
Popularity: 0.006956
First Submitted: 2017-12-18 21:35 (UTC)
Last Updated: 2020-09-12 21:59 (UTC)

Dependencies (1)

Required by (0)

Sources (1)

Latest Comments

dkasak commented on 2020-09-12 22:01 (UTC)

Hey, I'm really sorry for not reacting earlier. I somehow missed email notifications for this package.

I've now fixed compilation by switching to the maintained fork, as suggested.

@pychuang @cyrozap Would either of you be interested in becoming co-maintainers of this package? I'm not currently using it very actively so it would be helpful.

pychuang commented on 2020-07-27 17:36 (UTC)

Current GCC compilers will need some flags to compile/build this package. So I guess the easiest workaround is to change the upstram to following fork:

cyrozap commented on 2019-09-05 07:06 (UTC)

This patch is required to fix several issues upstream:

diff --git a/PKGBUILD b/PKGBUILD
index 3615c70..531dc24 100644
@@ -2,21 +2,28 @@

 pkgdesc='A minimalistic and high-performance SAT solver (git version)'
 arch=('i686' 'x86_64')
+        '')
+            'd6ec87543f4308dfbed41956b9c3221df61420d179f8e16123e2a369044c1a8a')

 pkgver() {
     cd "$srcdir/$pkgname"
     git describe --long --tags | sed 's|^releases/||;s/\([^-]*-g\)/r\1/;s/-/./g'

+prepare() {
+    cd "$srcdir/$pkgname"
+    patch -p1 < "$srcdir/27.patch"
 build() {
     cd "$srcdir/$pkgname"
     make config prefix=/usr

See and for more information.