[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