Date: Monday, April 25, 2022 @ 01:58:46 Author: allan Revision: 1189792
archrelease: copy trunk to community-x86_64 Added: polyml/repos/community-x86_64/PKGBUILD (from rev 1189791, polyml/trunk/PKGBUILD) Deleted: polyml/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 68 ++++++++++++++++++++++++++++++------------------------------- 1 file changed, 34 insertions(+), 34 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2022-04-25 01:58:28 UTC (rev 1189791) +++ PKGBUILD 2022-04-25 01:58:46 UTC (rev 1189792) @@ -1,34 +0,0 @@ -# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org> -# Contributor: Mort Yao <soi@mort.ninja> -# Contributor: Alex Merry <d...@randomguy3.me.uk> - -pkgname=polyml -pkgver=5.9 -pkgrel=1 -pkgdesc='Standard ML compiler originally written in Poly' -arch=(x86_64) -url='https://polyml.org/' -license=(LGPL) -conflicts=(mesa-demos) -options=(!libtool) -depends=(gmp libffi) -source=("$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz") -b2sums=('ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d') - -build() { - cd $pkgname-$pkgver - ./configure \ - --enable-shared \ - --prefix=/usr \ - --with-gmp \ - --with-system-libffi - make -} - -check() { - make -C $pkgname-$pkgver -k check -} - -package() { - make -C $pkgname-$pkgver DESTDIR="$pkgdir" install -} Copied: polyml/repos/community-x86_64/PKGBUILD (from rev 1189791, polyml/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2022-04-25 01:58:46 UTC (rev 1189792) @@ -0,0 +1,34 @@ +# Maintainer: Alexander F. Rødseth <xypr...@archlinux.org> +# Contributor: Mort Yao <soi@mort.ninja> +# Contributor: Alex Merry <d...@randomguy3.me.uk> + +pkgname=polyml +pkgver=5.9 +pkgrel=2 +pkgdesc='Standard ML compiler originally written in Poly' +arch=(x86_64) +url='https://polyml.org/' +license=(LGPL) +conflicts=(mesa-demos) +options=(!libtool) +depends=(gmp libffi) +source=("$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz") +b2sums=('ae0ca0dcac2c1b5b54e4e4c4c7362a9ba99846ff7a1358a2332a8b887eb9c21e83851c9ecde44df3bebeef5cdfe3d4b73c09776a08cfc2db6ec70024ffedc50d') + +build() { + cd $pkgname-$pkgver + ./configure \ + --enable-shared \ + --prefix=/usr \ + --with-gmp \ + --with-system-libffi + make +} + +check() { + make -C $pkgname-$pkgver -k check +} + +package() { + make -C $pkgname-$pkgver DESTDIR="$pkgdir" install +}