Index: head/lang/polyml/Makefile
===================================================================
--- head/lang/polyml/Makefile	(revision 540962)
+++ head/lang/polyml/Makefile	(revision 540963)
@@ -1,38 +1,45 @@
 # Created by: Timothy Bourke <timbob@bigpond.com>
 # $FreeBSD$
 
 PORTNAME=	polyml
-PORTVERSION=	5.7.1
+PORTVERSION=	5.8
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
 
 MAINTAINER=	beyert@cs.ucr.edu
 COMMENT=	Fast open-source implementation of Standard ML
 
 LICENSE=	LGPL21
 
-ONLY_FOR_ARCHS=	amd64 i386
+ONLY_FOR_ARCHS=	aarch64 amd64 i386
 
 LIB_DEPENDS=	libffi.so:devel/libffi
 
-USES=		libtool pathfix pkgconfig
+USES=		libtool localbase pathfix pkgconfig
 
 USE_GITHUB=	yes
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 USE_LDCONFIG=	yes
 
 INSTALL_TARGET=	install-strip
 
-OPTIONS_DEFINE=	MOTIF
+OPTIONS_DEFINE=	MOTIF GMP INTINF_AS_INT
+OPTIONS_DEFAULT=GMP INTINF_AS_INT
 
 MOTIF_CONFIGURE_WITH=	x
 MOTIF_USE=		motif
+
+GMP_CONFIGURE_WITH=	gmp
+GMP_LIB_DEPENDS=	libgmp.so:math/gmp
+
+INTINF_AS_INT_DESC=	Use IntInf.int as int type
+INTINF_AS_INT_CONFIGURE_ENABLE=	intinf-as-int
 
 post-patch:
 	@${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure
 	@${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in
 
 .include <bsd.port.mk>
Index: head/lang/polyml/distinfo
===================================================================
--- head/lang/polyml/distinfo	(revision 540962)
+++ head/lang/polyml/distinfo	(revision 540963)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1529843828
-SHA256 (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
-SIZE (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = 7218131
+TIMESTAMP = 1590409982
+SHA256 (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 6bcc2c5af91f361ef9e0bb28f39ce20171b0beae73b4db3674df6fc793cec8bf
+SIZE (polyml/polyml-polyml-v5.8_GH0.tar.gz) = 9817105
Index: head/lang/polyml/files/patch-libpolyml_sighandler.cpp
===================================================================
--- head/lang/polyml/files/patch-libpolyml_sighandler.cpp	(nonexistent)
+++ head/lang/polyml/files/patch-libpolyml_sighandler.cpp	(revision 540963)
@@ -0,0 +1,14 @@
+polyexport fails to unwind the stack on aarch64 with pthread signals enabled
+ref: https://github.com/polyml/polyml/issues/110
+
+--- libpolyml/sighandler.cpp.orig	2020-06-07 19:41:16 UTC
++++ libpolyml/sighandler.cpp
+@@ -70,7 +70,7 @@
+ #include <semaphore.h>
+ #endif
+ 
+-#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H))
++#if ((!defined(_WIN32) || defined(__CYGWIN__)) && defined(HAVE_LIBPTHREAD) && defined(HAVE_PTHREAD_H) && defined(HAVE_SEMAPHORE_H)) && !defined(__aarch64__)
+ // If we have the pthread library and header and we have semaphores we can use the pthread
+ // signalling mechanism.  But if this is a native Windows build we don't use semaphores or
+ // pthread even if they're provided.

Property changes on: head/lang/polyml/files/patch-libpolyml_sighandler.cpp
___________________________________________________________________
Added: fbsd:nokeywords
## -0,0 +1 ##
+yes
\ No newline at end of property
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+text/plain
\ No newline at end of property
Index: head/lang/polyml/pkg-plist
===================================================================
--- head/lang/polyml/pkg-plist	(revision 540962)
+++ head/lang/polyml/pkg-plist	(revision 540963)
@@ -1,12 +1,12 @@
 bin/poly
 bin/polyc
 bin/polyimport
 lib/libpolymain.a
 lib/libpolyml.a
 lib/libpolyml.so
-lib/libpolyml.so.9
-lib/libpolyml.so.9.0.0
+lib/libpolyml.so.10
+lib/libpolyml.so.10.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz
 man/man1/polyimport.1.gz