diff -u polyml.orig/Makefile polyml/Makefile
--- polyml.orig/Makefile	2018-06-24 15:17:51.183452000 +0200
+++ polyml/Makefile	2018-06-24 15:15:21.362842000 +0200
@@ -2,7 +2,7 @@
 # $FreeBSD: head/lang/polyml/Makefile 427136 2016-11-26 10:09:54Z mat $
 
 PORTNAME=	polyml
-PORTVERSION=	5.6
+PORTVERSION=	5.7.1
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
@@ -32,6 +32,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>
diff -u polyml.orig/distinfo polyml/distinfo
--- polyml.orig/distinfo	2018-06-24 15:17:51.183383000 +0200
+++ polyml/distinfo	2018-06-24 14:37:08.495850000 +0200
@@ -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
diff -u polyml.orig/pkg-plist polyml/pkg-plist
--- polyml.orig/pkg-plist	2018-06-24 15:17:51.183291000 +0200
+++ polyml/pkg-plist	2018-06-24 15:16:32.230110000 +0200
@@ -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
Only in polyml: work