Index: head/lang/polyml/Makefile
===================================================================
--- head/lang/polyml/Makefile
+++ head/lang/polyml/Makefile
@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	polyml
-PORTVERSION=	5.6
+PORTVERSION=	5.7.1
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
@@ -12,13 +12,14 @@
 
 LICENSE=	LGPL21
 
+ONLY_FOR_ARCHS=	amd64 i386
+
 LIB_DEPENDS=	libffi.so:devel/libffi
 
-ONLY_FOR_ARCHS=	i386 amd64
+USES=		libtool pathfix pkgconfig
 
 USE_GITHUB=	yes
 
-USES=		libtool pathfix pkgconfig
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 USE_LDCONFIG=	yes
@@ -32,6 +33,6 @@
 
 post-patch:
 	@${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure
-	@${REINPLACE_CMD} "s|ELFXX_R_INFO(_y, _z)    ELF64_R_INFO(_y, _z)|ELFXX_R_INFO(_y, _z)    ELF64_R_INFO((Elf64_Xword)(_y), _z)|g" ${WRKSRC}/libpolyml/elfexport.h
+	@${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in
 
 .include <bsd.port.mk>
Index: head/lang/polyml/distinfo
===================================================================
--- head/lang/polyml/distinfo
+++ head/lang/polyml/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1480154465
-SHA256 (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615
-SIZE (polyml/polyml-polyml-v5.6_GH0.tar.gz) = 6066166
+TIMESTAMP = 1529843828
+SHA256 (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = d18dd824b426edaed1cec71dded354b57df9ebdbd38863bc7540a60bd0667028
+SIZE (polyml/polyml-polyml-v5.7.1_GH0.tar.gz) = 7218131
Index: head/lang/polyml/pkg-plist
===================================================================
--- head/lang/polyml/pkg-plist
+++ head/lang/polyml/pkg-plist
@@ -4,8 +4,8 @@
 lib/libpolymain.a
 lib/libpolyml.a
 lib/libpolyml.so
-lib/libpolyml.so.7
-lib/libpolyml.so.7.0.0
+lib/libpolyml.so.9
+lib/libpolyml.so.9.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz