diff options
Diffstat (limited to 'core/ppl/PKGBUILD')
| -rw-r--r-- | core/ppl/PKGBUILD | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/core/ppl/PKGBUILD b/core/ppl/PKGBUILD index 953f1da9b..57cb47e14 100644 --- a/core/ppl/PKGBUILD +++ b/core/ppl/PKGBUILD @@ -6,7 +6,7 @@ pkgname=ppl pkgver=0.11.2 pkgrel=2 pkgdesc="A modern library for convex polyhedra and other numerical abstractions." -arch=('i686' 'x86_64') +arch=('i686' 'x86_64' 'mips64el') url="http://www.cs.unipr.it/ppl" license=('GPL3') depends=('gmp>=5.0') @@ -16,6 +16,11 @@ md5sums=('ce014f153a28006009db207ca953a984') build() { cd $srcdir/ppl-$pkgver + # Workaround madd.d making a SIGILL on a NaN. + [ "$CARCH" == "mips64el" ] && { + CFLAGS=${CFLAGS/-march=loongson2f/-march=mips3 -mtune=loongson2f} + CXXFLAGS=${CXXFLAGS/-march=loongson2f/-march=mips3 -mtune=loongson2f} + } ./configure --prefix=/usr --enable-interfaces="c,cxx" make } |