polyml: update to 5.8.1.

srcpkgs/polyml/patches/noffi_sysv.patch

@@ -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}

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";;