[arch-commits] Commit in polyml/repos/community-x86_64 (4 files)
Alexander Rødseth
arodseth at archlinux.org
Mon Mar 11 18:59:02 UTC 2019
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 <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='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 <xyproto at archlinux.org>
+# Contributor: Mort Yao <soi at mort.ninja>
+# Contributor: Alex Merry <dev at 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
+}
More information about the arch-commits
mailing list