summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKyle Keen2018-01-30 18:00:18 -0500
committerKyle Keen2018-01-30 18:00:18 -0500
commit35c61e2bcffb9aca56f2ab2bbb0d45fd14c91842 (patch)
tree19d0754bf37510d8fe626935ef56e77c131ddb23
parent0b46124cfb1f582007260dff750b1f2d41ed43db (diff)
downloadaur-glucose.tar.gz
version 4.1
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD29
2 files changed, 27 insertions, 10 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8c2eae5d03f8..5120f77fc7cc 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Tue Jan 30 23:00:15 UTC 2018
pkgbase = glucose
pkgdesc = Parallel SAT solver based on Minisat, with glue clauses.
- pkgver = 4.0
+ pkgver = 4.1
pkgrel = 1
url = http://www.labri.fr/perso/lsimon/glucose/
arch = i686
@@ -8,8 +10,8 @@ pkgbase = glucose
license = MIT
depends = gcc-libs
depends = zlib
- source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz
- md5sums = b6f040a6c28f011f3be994663338f548
+ source = http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-4.1.tgz
+ md5sums = 7f13be91b3cd71bd02d4f37570fee011
pkgname = glucose
diff --git a/PKGBUILD b/PKGBUILD
index d5a854dbe133..27e9c44ceeb9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Kyle Keen <keenerd@gmail.com>
pkgname=glucose
-pkgver=4.0
+pkgver=4.1
pkgrel=1
pkgdesc="Parallel SAT solver based on Minisat, with glue clauses."
arch=('i686' 'x86_64')
@@ -9,19 +9,34 @@ url="http://www.labri.fr/perso/lsimon/glucose/"
license=('MIT')
depends=('gcc-libs' 'zlib')
# sigh, no versions
-source=("http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz")
-md5sums=('b6f040a6c28f011f3be994663338f548')
+source=("http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-$pkgver.tgz")
+md5sums=('7f13be91b3cd71bd02d4f37570fee011')
+
+prepare() {
+ cd "$srcdir/glucose-syrup-$pkgver"
+ if [[ $CARCH == "armv7h" ]]; then
+ sed -i -e 's/ & ~_FPU_EXTENDED//' -e 's/ | _FPU_DOUBLE//' {simp,parallel}/Main.cc
+ fi
+}
build() {
export MROOT="$srcdir/$pkgname"
- cd "$srcdir/glucose-syrup/parallel"
+ # r = release, s = static
+ cd "$srcdir/glucose-syrup-$pkgver/simp"
+ make r
+ cd "$srcdir/glucose-syrup-$pkgver/parallel"
make r
}
package() {
- cd "$srcdir/glucose-syrup/parallel"
- install -Dm755 glucose-syrup_release "$pkgdir/usr/bin/glucose"
- install -Dm644 ../LICENCE "$pkgdir/usr/share/licenses/$pkgname/LICENCE"
+ cd "$srcdir/glucose-syrup-$pkgver"
+ install -Dm644 LICENCE "$pkgdir/usr/share/licenses/$pkgname/LICENCE"
+
+ cd "simp"
+ install -Dm755 glucose_release "$pkgdir/usr/bin/glucose"
+ cd "../parallel"
+ install -Dm755 glucose-syrup_release "$pkgdir/usr/bin/glucose-syrup"
+
}
# vim:set ts=2 sw=2 et: