- Update to 5.1
PR: ports/120997 Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
This commit is contained in:
parent
aa57d936aa
commit
8d3834b690
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=210486
@ -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
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user