diff options
Diffstat (limited to 'lang/polyml')
| -rw-r--r-- | lang/polyml/Makefile | 8 | ||||
| -rw-r--r-- | lang/polyml/distinfo | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 59237b4e43a4..7af05d26a719 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -6,7 +6,7 @@ # PORTNAME= polyml -PORTVERSION= 5.0 +PORTVERSION= 5.1 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -17,8 +17,8 @@ MAINTAINER= timbob@bigpond.com COMMENT= Fast open-source implementation of Standard ML USE_GCC= 3.2+ -HAS_CONFIGURE= yes -CONFIGURE_ARGS= --prefix=${PREFIX} --without-x +GNU_CONFIGURE= yes +CONFIGURE_ARGS= --without-x USE_LDCONFIG= yes ONLY_FOR_ARCHS= i386 @@ -29,7 +29,7 @@ PLIST_FILES= bin/poly \ lib/libpolyml.a \ lib/libpolyml.la \ lib/libpolyml.so \ - lib/libpolyml.so.0 + lib/libpolyml.so.1 MAN1= poly.1 polyimport.1 MANCOMPRESSED= no diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index 03dea5967570..3effd76a5a36 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,3 +1,3 @@ -MD5 (polyml/polyml.5.0.tar.gz) = 61537cf2b0ca983d42845778fe3bd42f -SHA256 (polyml/polyml.5.0.tar.gz) = 0eb3ee7f05eabedf6cd62e0ac2476882ecf92ad08f52b85e13dd6399d17a52da -SIZE (polyml/polyml.5.0.tar.gz) = 4183140 +MD5 (polyml/polyml.5.1.tar.gz) = c7913285e56dc06ff401a3425c57b0d4 +SHA256 (polyml/polyml.5.1.tar.gz) = bb8c0d39c1f9b8eeb880efca1c118adaa7228854f656b842f3868530e88c988b +SIZE (polyml/polyml.5.1.tar.gz) = 4215625 |