[arch-commits] Commit in polyml/repos/community-x86_64 (PKGBUILD polyml.install)
Alexander Rødseth
arodseth at archlinux.org
Mon May 28 15:54:48 UTC 2018
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 <xyproto at archlinux.org>
+# Contributor: Mort Yao <soi at mort.ninja>
+# Contributor: Alex Merry <dev at 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
+}
More information about the arch-commits
mailing list