Index: head/lang/polyml/Makefile
===================================================================
--- head/lang/polyml/Makefile	(revision 400040)
+++ head/lang/polyml/Makefile	(revision 400041)
@@ -1,35 +1,37 @@
 # Created by: Timothy Bourke <timbob@bigpond.com>
 # $FreeBSD$
 
 PORTNAME=	polyml
 PORTVERSION=	5.5.2
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	lang
 MASTER_SITES=	SF
 DISTNAME=	${PORTNAME}.${PORTVERSION}
 DIST_SUBDIR=	${PORTNAME}
 
 MAINTAINER=	beyert@cs.ucr.edu
 COMMENT=	Fast open-source implementation of Standard ML
 
 LICENSE=	LGPL21
 
 LIB_DEPENDS=	libffi.so:${PORTSDIR}/devel/libffi
 
+ONLY_FOR_ARCHS=	i386 amd64
+
+USES=		libtool pathfix pkgconfig
 GNU_CONFIGURE=	yes
-CONFIGURE_ARGS=	--with-system-libffi
-USES=		libtool pkgconfig pathfix
+CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 USE_LDCONFIG=	yes
-ONLY_FOR_ARCHS=	i386 amd64
 
+INSTALL_TARGET=	install-strip
+
 OPTIONS_DEFINE=	MOTIF
 
-.include <bsd.port.options.mk>
-
 MOTIF_CONFIGURE_WITH=	x
 MOTIF_USE=		motif
 
-pre-build:
+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
 
 .include <bsd.port.mk>
Index: head/lang/polyml/pkg-plist
===================================================================
--- head/lang/polyml/pkg-plist	(revision 400040)
+++ head/lang/polyml/pkg-plist	(revision 400041)
@@ -1,9 +1,12 @@
 bin/poly
 bin/polyc
 bin/polyimport
 lib/libpolymain.a
 lib/libpolyml.a
+lib/libpolyml.so
+lib/libpolyml.so.6
+lib/libpolyml.so.6.0.0
 libdata/pkgconfig/polyml.pc
 man/man1/poly.1.gz
 man/man1/polyc.1.gz
 man/man1/polyimport.1.gz