Date: Monday, March 11, 2019 @ 18:58:55 Author: arodseth Revision: 439820
upgpkg: polyml 5.8-1 Modified: polyml/trunk/PKGBUILD ----------+ PKGBUILD | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-03-11 18:58:27 UTC (rev 439819) +++ PKGBUILD 2019-03-11 18:58:55 UTC (rev 439820) @@ -1,23 +1,23 @@ -# Maintainer: Alexander F Rødseth <[email protected]> +# Maintainer: Alexander F. Rødseth <[email protected]> # Contributor: Mort Yao <[email protected]> # Contributor: Alex Merry <[email protected]> pkgname=polyml -pkgver=5.7.1 -pkgrel=2 -pkgdesc='Standard ML compiler originally written in an experimental language called Poly' -arch=('x86_64') +pkgver=5.8 +pkgrel=1 +pkgdesc='Standard ML compiler originally written in the experimental language Poly' +arch=(x86_64) url='https://polyml.org/' -license=('LGPL') +license=(LGPL) conflicts=('mesa-demos') # /usr/bin/poly -options=('!libtool') -depends=('gmp' 'libffi') +options=(!libtool) +depends=(gmp libffi) install=polyml.install source=("$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz";) -sha256sums=('d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028') +sha256sums=('6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf') build() { - cd "$pkgname-$pkgver" + cd $pkgname-$pkgver ./configure \ --prefix=/usr \ @@ -28,11 +28,11 @@ } check() { - make -C "$pkgname-$pkgver" -k check + make -C $pkgname-$pkgver -k check } package() { - make -C "$pkgname-$pkgver" DESTDIR="$pkgdir" install + make -C $pkgname-$pkgver DESTDIR="$pkgdir" install } # getver: polyml.org
