--- /tmp/Makefile.old	2015-10-01 11:29:48.516598000 +0200
+++ Makefile	2015-10-01 11:20:33.267308000 +0200
@@ -1,5 +1,5 @@
 # Created by: Timothy Bourke <timbob@bigpond.com>
-# $FreeBSD$
+# $FreeBSD: head/lang/polyml/Makefile 363649 2014-07-31 18:43:35Z swills $
 
 PORTNAME=	polyml
 PORTVERSION=	5.5.2
@@ -17,7 +17,7 @@
 LIB_DEPENDS=	libffi.so:${PORTSDIR}/devel/libffi
 
 GNU_CONFIGURE=	yes
-CONFIGURE_ARGS=	--with-system-libffi
+CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 USES=		libtool pkgconfig pathfix
 USE_LDCONFIG=	yes
 ONLY_FOR_ARCHS=	i386 amd64
@@ -32,4 +32,7 @@
 pre-build:
 	@${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
 
+post-patch:
+	@${REINPLACE_CMD} -e 's|-lstdc++ ||g' ${WRKSRC}/configure
+
 .include <bsd.port.mk>