Date: Monday, March 11, 2019 @ 18:59:01 Author: arodseth Revision: 439821
archrelease: copy trunk to community-x86_64 Added: polyml/repos/community-x86_64/PKGBUILD (from rev 439820, polyml/trunk/PKGBUILD) polyml/repos/community-x86_64/polyml.install (from rev 439820, polyml/trunk/polyml.install) Deleted: polyml/repos/community-x86_64/PKGBUILD polyml/repos/community-x86_64/polyml.install ----------------+ PKGBUILD | 78 +++++++++++++++++++++++++++---------------------------- polyml.install | 14 ++++----- 2 files changed, 46 insertions(+), 46 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2019-03-11 18:58:55 UTC (rev 439820) +++ PKGBUILD 2019-03-11 18:59:01 UTC (rev 439821) @@ -1,39 +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.7.1 -pkgrel=2 -pkgdesc='Standard ML compiler originally written in an experimental language called Poly' -arch=('x86_64') -url='https://polyml.org/' -license=('LGPL') -conflicts=('mesa-demos') # /usr/bin/poly -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') - -build() { - cd "$pkgname-$pkgver" - - ./configure \ - --prefix=/usr \ - --enable-shared \ - --with-system-libffi \ - --with-gmp - make -} - -check() { - make -C "$pkgname-$pkgver" -k check -} - -package() { - make -C "$pkgname-$pkgver" DESTDIR="$pkgdir" install -} - -# getver: polyml.org -# vim: ts=2 sw=2 et: Copied: polyml/repos/community-x86_64/PKGBUILD (from rev 439820, polyml/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2019-03-11 18:59:01 UTC (rev 439821) @@ -0,0 +1,39 @@ +# 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.8 +pkgrel=1 +pkgdesc='Standard ML compiler originally written in the experimental language Poly' +arch=(x86_64) +url='https://polyml.org/' +license=(LGPL) +conflicts=('mesa-demos') # /usr/bin/poly +options=(!libtool) +depends=(gmp libffi) +install=polyml.install +source=("$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz") +sha256sums=('6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf') + +build() { + cd $pkgname-$pkgver + + ./configure \ + --prefix=/usr \ + --enable-shared \ + --with-system-libffi \ + --with-gmp + make +} + +check() { + make -C $pkgname-$pkgver -k check +} + +package() { + make -C $pkgname-$pkgver DESTDIR="$pkgdir" install +} + +# getver: polyml.org +# vim: ts=2 sw=2 et: Deleted: polyml.install =================================================================== --- polyml.install 2019-03-11 18:58:55 UTC (rev 439820) +++ polyml.install 2019-03-11 18:59:01 UTC (rev 439821) @@ -1,7 +0,0 @@ -post_upgrade() { - cat << EOF -If you compile executables using Poly/ML, you should use -the new polyc script, as this automatically passes the -correct libraries to the linker. -EOF -} Copied: polyml/repos/community-x86_64/polyml.install (from rev 439820, polyml/trunk/polyml.install) =================================================================== --- polyml.install (rev 0) +++ polyml.install 2019-03-11 18:59:01 UTC (rev 439821) @@ -0,0 +1,7 @@ +post_upgrade() { + cat << EOF +If you compile executables using Poly/ML, you should use +the new polyc script, as this automatically passes the +correct libraries to the linker. +EOF +}