From 906ba432ae27f7557a26755623dbe85c65d902ea Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Tue, 21 Jul 2020 13:21:07 +0200
Subject: [PATCH] polyml: update to 5.8.1.

---
 srcpkgs/polyml/patches/noffi_sysv.patch | 11 -----------
 srcpkgs/polyml/template                 |  8 ++++----
 2 files changed, 4 insertions(+), 15 deletions(-)
 delete mode 100644 srcpkgs/polyml/patches/noffi_sysv.patch

diff --git a/srcpkgs/polyml/patches/noffi_sysv.patch b/srcpkgs/polyml/patches/noffi_sysv.patch
deleted file mode 100644
index 76022a79291..00000000000
--- a/srcpkgs/polyml/patches/noffi_sysv.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- libpolyml/polyffi.cpp	2019-03-11 10:36:07.000000000 +0100
-+++ libpolyml/polyffi.cpp	2020-03-23 22:55:46.741289487 +0100
-@@ -111,7 +111,6 @@
- #elif defined(X86_WIN64)
-     {"win64", FFI_WIN64},
--#elif defined(X86_ANY)
--    {"sysv", FFI_SYSV},
-+#elif defined(X86_ANY) && defined(__x86_64__)
-     {"unix64", FFI_UNIX64},
- #endif
-     { "default", FFI_DEFAULT_ABI}
diff --git a/srcpkgs/polyml/template b/srcpkgs/polyml/template
index 7cc2502e21d..e972da74190 100644
--- a/srcpkgs/polyml/template
+++ b/srcpkgs/polyml/template
@@ -1,7 +1,7 @@
 # Template file for 'polyml'
 pkgname=polyml
-version=5.8
-revision=2
+version=5.8.1
+revision=1
 build_style=gnu-configure
 configure_args="--with-system-libffi --enable-shared"
 case "$XBPS_TARGET_MACHINE" in
@@ -21,10 +21,10 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1"
 homepage="http://www.polyml.org/"
 distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
-checksum=6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf
+checksum=fa0507b44470b4e07a061ef6a8896efe42710d8436e15721d743572ad2f7753b
 nocross=yes
 
-# broken on musl and big endian ppc
+# broken on musl ppc and big endian ppc
 case "$XBPS_TARGET_MACHINE" in
 	ppc64le) ;;
 	ppc*) broken="Segmentation Fault";;