polyml: update to 5.7.

srcpkgs/polyml/patches/poly-aarch64.patch

@@ -1,42 +0,0 @@
---- config.h.in	2014-02-19 14:11:05.000000000 +0000
-+++ config.h.in	2015-07-09 14:18:31.313388000 +0000
-@@ -551,6 +551,9 @@
- /* Define if the host is an ARM (32 bit) */
- #undef HOSTARCHITECTURE_ARM
- 
-+/* Define if the host is an ARM (64 bit) */
-+#undef HOSTARCHITECTURE_AARCH64
-+
- /* Define if the host is Itanium */
- #undef HOSTARCHITECTURE_IA64
- 
---- configure	2014-05-09 10:11:45.000000000 +0000
-+++ configure	2015-07-09 14:18:55.073388000 +0000
-@@ -21306,6 +21306,12 @@
- 
-             polyarch=interpret
-             ;;
-+      aarch64*)
-+
-+$as_echo "#define HOSTARCHITECTURE_AARCH64 1" >>confdefs.h
-+
-+            polyarch=interpret
-+            ;;
-       ia64*)
- 
- $as_echo "#define HOSTARCHITECTURE_IA64 1" >>confdefs.h
---- libpolyml/elfexport.cpp	2013-10-15 16:25:39.000000000 +0000
-+++ libpolyml/elfexport.cpp	2015-07-09 14:13:35.433388000 +0000
-@@ -344,6 +344,10 @@
-     directReloc = R_IA64_DIR64LSB;
-     fhdr.e_flags = EF_IA_64_ABI64;
-     useRela = true;
-+#elif defined(HOSTARCHITECTURE_AARCH64)
-+    fhdr.e_machine = EM_AARCH64;
-+    directReloc = R_AARCH64_ABS64;
-+    useRela = true;
- #else
- #error "No support for exporting on this architecture"
- #endif
-
-

srcpkgs/polyml/template

@@ -1,22 +1,22 @@
 # Template file for 'polyml'
 pkgname=polyml
-version=5.5.2
+version=5.7
-revision=4
+revision=1
-wrksrc="${pkgname}.${version}"
 build_style=gnu-configure
 configure_args="--with-system-libffi --enable-shared"
 case "$XBPS_TARGET_MACHINE" in
+	i686-musl|x86_64-musl) nopie=yes ;;  # crash in do_relocs else
 	i686*|x86_64*) ;;
-	*) configure_args+=" --with-portable" ;;
+	*) configure_args+=" --disable-native-codegeneration" ;;
 esac
 makedepends="gmp-devel libffi-devel"
 conflicts="mesa-demos>=0"  # /usr/bin/poly
 short_desc="The Poly/ML Standard ML (SML) implementation"
-maintainer="Christian Neukirchen <chneukirchen@gmail.com>"
+maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1"
 homepage="http://www.polyml.org/"
-distfiles="${SOURCEFORGE_SITE}/$pkgname/$pkgname.$version.tar.gz"
+distfiles="https://github.com/${pkgname}/${pkgname}/archive/v${version}.tar.gz"
-checksum=73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682
+checksum=19340d8e9cea15c3fd786dde27028cd2947608955a376d1317a20268c8a19279
 nocross=yes
 
 # Since this is a compiler, no -devel package.