Date: Monday, May 28, 2018 @ 15:54:47 Author: arodseth Revision: 332744
archrelease: copy trunk to community-x86_64 Added: polyml/repos/community-x86_64/PKGBUILD (from rev 332743, polyml/trunk/PKGBUILD) polyml/repos/community-x86_64/polyml.install (from rev 332743, polyml/trunk/polyml.install) ----------------+ PKGBUILD | 40 ++++++++++++++++++++++++++++++++++++++++ polyml.install | 7 +++++++ 2 files changed, 47 insertions(+) Copied: polyml/repos/community-x86_64/PKGBUILD (from rev 332743, polyml/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2018-05-28 15:54:47 UTC (rev 332744) @@ -0,0 +1,40 @@ +# 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='Full implementation of Standard ML (SML)' +arch=('x86_64') +url='https://polyml.org/' +license=('LGPL') +conflicts=('mesa-demo') # /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 \ + --without-x \ + --with-system-libffi \ + --with-gmp \ + --enable-shared + 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/polyml.install (from rev 332743, polyml/trunk/polyml.install) =================================================================== --- polyml.install (rev 0) +++ polyml.install 2018-05-28 15:54:47 UTC (rev 332744) @@ -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 +}