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 /PKGBUILD | |
| parent | 08181421935292816187ce8bc1de3e78b85ea6a5 (diff) | |
| download | aur-limboole.tar.gz | |
fixed compilation
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 30 |
1 files changed, 13 insertions, 17 deletions
@@ -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 |