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 <xypr...@archlinux.org> -# Contributor: Mort Yao <soi@mort.ninja> -# Contributor: Alex Merry <d...@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 <xypr...@archlinux.org> +# Contributor: Mort Yao <soi@mort.ninja> +# Contributor: Alex Merry <d...@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 <d...@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}