PKGBUILDs/community/polymake/PKGBUILD

43 lines
1.4 KiB
Bash
Raw Normal View History

2016-11-25 17:57:25 +00:00
# Maintainer: Antonio Rojas <arojas@archlinux.org>
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
# - add LDFLAGS and CXXOPT to lower RAM usage
# - make -j2 due to RAM constraints
highmem=1
pkgname=polymake
2018-02-07 09:47:15 +00:00
_pkgver=3.2
2018-11-02 00:05:06 +00:00
_patchver=4
2018-02-07 09:47:15 +00:00
pkgver=$_pkgver.r$_patchver
2018-12-24 13:22:37 +00:00
pkgrel=2
2016-11-25 17:57:25 +00:00
pkgdesc="Open source software for research in polyhedral geometry"
2017-12-04 13:46:31 +00:00
arch=(x86_64)
2016-11-25 17:57:25 +00:00
url="https://polymake.org/"
license=(GPL)
2018-03-09 13:45:30 +00:00
depends=(mpfr normaliz singular ppl perl-xml-writer perl-xml-libxml perl-xml-libxslt perl-term-readline-gnu perl-term-readkey)
2018-05-07 18:03:10 +00:00
makedepends=(ninja cddlib lrs apache-ant boost bliss-graphs libnsl jdk8-openjdk)
2018-03-09 13:45:30 +00:00
optdepends=('java-runtime: java module')
2018-02-07 09:47:15 +00:00
source=("https://polymake.org/lib/exe/fetch.php/download/polymake-${_pkgver}r${_patchver}-minimal.tar.bz2")
2018-11-02 00:05:06 +00:00
sha256sums=('553d37b34044c6584659dd87221aef97e8280525c01f7550bda108b85e4150cd')
2016-11-25 17:57:25 +00:00
prepare() {
2018-02-07 09:47:15 +00:00
cd polymake-$_pkgver
2016-11-25 17:57:25 +00:00
# fix lrs headers location
sed -e 's|lrslib.h|lrslib/lrslib.h|g' -i bundled/lrs/apps/polytope/src/lrs_interface.cc \
2017-03-29 13:43:32 +00:00
-i bundled/sympol/external/sympol/sympol/raycomputationlrs.cpp
2018-01-30 00:46:06 +00:00
sed -e 's|<lrslib.h>|<lrslib/lrslib.h>|g' -e 's|\$lrs_path\/include|$lrs_path/include/lrslib|g' -i bundled/lrs/support/configure.pl
2016-11-25 17:57:25 +00:00
}
build() {
2018-02-07 09:47:15 +00:00
cd polymake-$_pkgver
2016-11-25 17:57:25 +00:00
LDFLAGS+=" -Wl,--no-keep-memory -Wl,--reduce-memory-overheads"
./configure --prefix=/usr CXXOPT="-O1"
make -j2
}
package() {
2018-02-07 09:47:15 +00:00
cd polymake-$_pkgver
2016-11-25 17:57:25 +00:00
make DESTDIR="$pkgdir" install
}