[arch-commits] Commit in polyml/repos/community-x86_64 (4 files)

Alexander Rødseth arodseth at archlinux.org
Fri Aug 7 20:11:16 UTC 2020


    Date: Friday, August 7, 2020 @ 20:11:15
  Author: arodseth
Revision: 671709

archrelease: copy trunk to community-x86_64

Added:
  polyml/repos/community-x86_64/PKGBUILD
    (from rev 671708, polyml/trunk/PKGBUILD)
Deleted:
  polyml/repos/community-x86_64/PKGBUILD
  polyml/repos/community-x86_64/polyml.install
  polyml/repos/community-x86_64/remove-FFI_SYSV-from-abi-table.patch

--------------------------------------+
 PKGBUILD                             |   83 ++++++++++++++-------------------
 polyml.install                       |    7 --
 remove-FFI_SYSV-from-abi-table.patch |   32 ------------
 3 files changed, 37 insertions(+), 85 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2020-08-07 20:11:10 UTC (rev 671708)
+++ PKGBUILD	2020-08-07 20:11:15 UTC (rev 671709)
@@ -1,46 +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.8
-pkgrel=2
-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"
-        remove-FFI_SYSV-from-abi-table.patch)
-sha256sums=('6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf'
-            'cea28038a37c646ce7f6601443726411587bfb4ace2d6179b99ef247f6ac795b')
-
-prepare() {
-  cd $pkgname-$pkgver
-  patch -Np1 -i ../remove-FFI_SYSV-from-abi-table.patch
-}
-
-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 671708, polyml/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2020-08-07 20:11:15 UTC (rev 671709)
@@ -0,0 +1,37 @@
+# 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.1
+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")
+sha256sums=('fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b')
+
+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
+}
+
+# getver: polyml.org
+# vim: ts=2 sw=2 et:

Deleted: polyml.install
===================================================================
--- polyml.install	2020-08-07 20:11:10 UTC (rev 671708)
+++ polyml.install	2020-08-07 20:11:15 UTC (rev 671709)
@@ -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
-}

Deleted: remove-FFI_SYSV-from-abi-table.patch
===================================================================
--- remove-FFI_SYSV-from-abi-table.patch	2020-08-07 20:11:10 UTC (rev 671708)
+++ remove-FFI_SYSV-from-abi-table.patch	2020-08-07 20:11:15 UTC (rev 671709)
@@ -1,32 +0,0 @@
-From ad32de7f181acaffaba78d5c3d9e5aa6b84a741c Mon Sep 17 00:00:00 2001
-From: David Matthews <dm at prolingua.co.uk>
-Date: Sun, 7 Apr 2019 13:41:33 +0100
-Subject: [PATCH] Remove FFI_SYSV from abi table for X86/64 Unix.  It appears
- that this has been removed in upstream versions of libffi and causes problems
- when building using the system libffi.
-
----
- libpolyml/polyffi.cpp | 3 +--
- 1 file changed, 1 insertion(+), 2 deletions(-)
-
-diff --git a/libpolyml/polyffi.cpp b/libpolyml/polyffi.cpp
-index 5424dd84..3dc9cc7c 100644
---- a/libpolyml/polyffi.cpp
-+++ b/libpolyml/polyffi.cpp
-@@ -1,7 +1,7 @@
- /*
-     Title:  New Foreign Function Interface
- 
--    Copyright (c) 2015, 2018  David C.J. Matthews
-+    Copyright (c) 2015, 2018, 2019  David C.J. Matthews
- 
-     This library is free software; you can redistribute it and/or
-     modify it under the terms of the GNU Lesser General Public
-@@ -111,7 +111,6 @@ static struct _abiTable { const char *abiName; ffi_abi abiCode; } abiTable[] =
- #elif defined(X86_WIN64)
-     {"win64", FFI_WIN64},
- #elif defined(X86_ANY)
--    {"sysv", FFI_SYSV},
-     {"unix64", FFI_UNIX64},
- #endif
-     { "default", FFI_DEFAULT_ABI}


More information about the arch-commits mailing list