diff options
| author | Kyle Keen | 2018-01-30 18:00:18 -0500 |
|---|---|---|
| committer | Kyle Keen | 2018-01-30 18:00:18 -0500 |
| commit | 35c61e2bcffb9aca56f2ab2bbb0d45fd14c91842 (patch) | |
| tree | 19d0754bf37510d8fe626935ef56e77c131ddb23 /PKGBUILD | |
| parent | 0b46124cfb1f582007260dff750b1f2d41ed43db (diff) | |
| download | aur-glucose.tar.gz | |
version 4.1
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 29 |
1 files changed, 22 insertions, 7 deletions
@@ -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: |