Arch Linux User Repository

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.

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: https://github.com/msoos/minisat

This patch is required to fix several issues upstream:

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

 pkgname=minisat-git
 pkgver=2.2.0.r68.g37dc6c6
-pkgrel=1
+pkgrel=2
 pkgdesc='A minimalistic and high-performance SAT solver (git version)'
 arch=('i686' 'x86_64')
 url="http://minisat.se/"
 license=('MIT')
 conflicts=('minisat')
 makedepends=('git')
-source=($pkgname::git+https://github.com/niklasso/minisat)
-sha256sums=('SKIP')
+source=($pkgname::git+https://github.com/niklasso/minisat
+        'https://patch-diff.githubusercontent.com/raw/niklasso/minisat/pull/27.patch')
+sha256sums=('SKIP'
+            '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 https://github.com/niklasso/minisat/issues/22 and https://github.com/niklasso/minisat/pull/27 for more information.