Package Details: minisat-git 2.2.0.r68.g37dc6c6-1

Git Clone URL: https://aur.archlinux.org/minisat-git.git (read-only, click to copy)
Package Base: minisat-git
Description: A minimalistic and high-performance SAT solver (git version)
Upstream URL: http://minisat.se/
Licenses: MIT
Conflicts: minisat
Submitter: dkasak
Maintainer: dkasak
Last Packager: dkasak
Votes: 0
Popularity: 0.000000
First Submitted: 2017-12-18 21:35
Last Updated: 2017-12-18 21:36

Dependencies (1)

Required by (1)

Sources (1)

Latest Comments

cyrozap commented on 2019-09-05 07:06

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.