diff options
| author | gilcu3 | 2022-09-05 12:18:56 +0200 |
|---|---|---|
| committer | gilcu3 | 2022-09-05 12:18:56 +0200 |
| commit | ab15253059dc8e71fee15c4c085718c53fcbbb6c (patch) | |
| tree | 59bae8099bc6e3adb709efe9acdb2f7821090237 | |
| parent | 08181421935292816187ce8bc1de3e78b85ea6a5 (diff) | |
| download | aur-ab15253059dc8e71fee15c4c085718c53fcbbb6c.tar.gz | |
fixed compilation
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 30 |
2 files changed, 14 insertions, 20 deletions
@@ -1,9 +1,8 @@ pkgbase = limboole pkgdesc = A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas. pkgver = 1.2 - pkgrel = 1 + pkgrel = 2 url = http://fmv.jku.at/limboole/ - arch = i686 arch = x86_64 license = GPL3 source = http://fmv.jku.at/limboole/limboole1.2.tgz @@ -14,4 +13,3 @@ pkgbase = limboole sha256sums = 9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e pkgname = limboole - @@ -1,41 +1,37 @@ -# Maintainer: Thomas Pointhuber <thomas.pointhuber@gmx.at> +# Maintainer: gilcu3 <gilcu3 at gmail dot com> +# Previous Maintainer: Thomas Pointhuber <thomas.pointhuber@gmx.at> pkgname=limboole pkgver=1.2 -pkgrel=1 +pkgrel=2 pkgdesc="A simple tool for checking satisfiability respectively tautology on arbitrary structural formulas." -arch=('i686' 'x86_64') +arch=('x86_64') url="http://fmv.jku.at/limboole/" license=('GPL3') # binary falls under the license from depqbf -groups=() -depends=() -makedepends=() -optdepends=() -provides=() -conflicts=() -replaces=() -backup=() -options=() -install= -changelog= source=("http://fmv.jku.at/limboole/$pkgname$pkgver.tgz" "http://fmv.jku.at/picosat/picosat-960.tar.gz" "https://codeload.github.com/lonsing/depqbf/tar.gz/version-6.03") -noextract=() sha256sums=('fc7ec6db5088da2846937e472668d283fba46ca8e840aaf6f13ea11619637cb6' 'edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817' '9684bb1562bfe14559007401f52975554373546d3290a19618ee71d709bce76e') build() { + # A comma (,) in the CFLAGS variable was causing a compile error + # in picosat, which is also compiled inside depqbf + CFLAGS="${CFLAGS/,/\\,}" + # build picosat for static binding rm -rf "picosat" mv "picosat-960" "picosat" + cd "picosat" ./configure make + cd "../" # build depqbf - mv -n "../depqbf-version-6.03" "../depqbf" - cd "../depqbf" + rm -rf "depqbf" + mv "depqbf-version-6.03" "depqbf" + cd "depqbf" ./compile.sh # build limboole |