diff options
| -rw-r--r-- | lang/polyml/Makefile | 7 | ||||
| -rw-r--r-- | lang/polyml/distinfo | 4 | ||||
| -rw-r--r-- | lang/polyml/pkg-plist | 4 |
3 files changed, 8 insertions, 7 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index cbafc283e11f..620bf879fdae 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -2,10 +2,8 @@ # $FreeBSD$ PORTNAME= polyml -PORTVERSION= 5.5.2 -PORTREVISION= 2 +PORTVERSION= 5.6 CATEGORIES= lang -MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} DIST_SUBDIR= ${PORTNAME} @@ -18,6 +16,9 @@ LIB_DEPENDS= libffi.so:devel/libffi ONLY_FOR_ARCHS= i386 amd64 +USE_GITHUB= yes +GH_TUPLE= polyml:polyml:v5.6 + USES= libtool pathfix pkgconfig GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-system-libffi --enable-shared diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index 367d0ff934fc..9c10143c1c89 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,2 +1,2 @@ -SHA256 (polyml/polyml.5.5.2.tar.gz) = 73fd2be89f7e3ff0567e27ef525ef788775d9f963d6db54069cb34d53040a682 -SIZE (polyml/polyml.5.5.2.tar.gz) = 5599140 +SHA256 (polyml/polyml.5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615 +SIZE (polyml/polyml.5.6_GH0.tar.gz) = 6066166 diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist index 2616ea9ce345..eb5891058f9e 100644 --- a/lang/polyml/pkg-plist +++ b/lang/polyml/pkg-plist @@ -4,8 +4,8 @@ bin/polyimport lib/libpolymain.a lib/libpolyml.a lib/libpolyml.so -lib/libpolyml.so.6 -lib/libpolyml.so.6.0.0 +lib/libpolyml.so.7 +lib/libpolyml.so.7.0.0 libdata/pkgconfig/polyml.pc man/man1/poly.1.gz man/man1/polyc.1.gz |