diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 9b5189465d7d..441ef51ac46e 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -1,44 +1,43 @@ PORTNAME= polyml -PORTVERSION= 5.9.1 -PORTREVISION= 1 +PORTVERSION= 5.9.2 DISTVERSIONPREFIX= v CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} MAINTAINER= beyert@cs.ucr.edu COMMENT= Fast open-source implementation of Standard ML WWW= https://www.polyml.org LICENSE= LGPL21 ONLY_FOR_ARCHS= aarch64 amd64 i386 LIB_DEPENDS= libffi.so:devel/libffi USES= libtool localbase pathfix pkgconfig USE_GITHUB= yes USE_LDCONFIG= yes GNU_CONFIGURE= yes GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ARGS= --with-system-libffi --enable-shared INSTALL_TARGET= install-strip OPTIONS_DEFINE= MOTIF GMP INTINF_AS_INT OPTIONS_DEFAULT=GMP INTINF_AS_INT INTINF_AS_INT_DESC= Use IntInf.int as int type GMP_LIB_DEPENDS= libgmp.so:math/gmp GMP_CONFIGURE_WITH= gmp INTINF_AS_INT_CONFIGURE_ENABLE= intinf-as-int MOTIF_USES= motif xorg MOTIF_USE= xorg=x11,xext,xt MOTIF_CONFIGURE_WITH= x post-patch: @${REINPLACE_CMD} -e 's|-lstdc++ ||' ${WRKSRC}/configure @${REINPLACE_CMD} -e 's| modules||' ${WRKSRC}/Makefile.in .include diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index eabae846edd0..ff99fe7e60df 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1706344889 -SHA256 (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c -SIZE (polyml/polyml-polyml-v5.9.1_GH0.tar.gz) = 3887664 +TIMESTAMP = 1757853144 +SHA256 (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 5cf5f77767568c25cf880acc2d0a32ee3d399e935475ab1626e8192fc3b07390 +SIZE (polyml/polyml-polyml-v5.9.2_GH0.tar.gz) = 3878657 diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist index 744ab17237c0..ab597f353386 100644 --- a/lang/polyml/pkg-plist +++ b/lang/polyml/pkg-plist @@ -1,12 +1,12 @@ bin/poly bin/polyc bin/polyimport lib/libpolymain.a lib/libpolyml.a lib/libpolyml.so -lib/libpolyml.so.14 -lib/libpolyml.so.14.0.0 +lib/libpolyml.so.16 +lib/libpolyml.so.16.0.0 libdata/pkgconfig/polyml.pc share/man/man1/poly.1.gz share/man/man1/polyc.1.gz share/man/man1/polyimport.1.gz