From bfc6922f4b3e9aef0fc550e71cce10f63cf5f357 Mon Sep 17 00:00:00 2001 From: Kurt Jaeger Date: Fri, 15 Apr 2016 19:58:03 +0000 Subject: lang/polyml: 5.5.2 -> 5.6 Changes: - New foreign-function interface (Foreign structure). - Reimplemented debugger so that code with debugging enabled is much faster. - Improved support for Poly/ML on native Windows. - Support for MIPS and 64-bit ARM processors through the byte-code interpreter. - Various bug fixes. PR: 208783, 199566 Submitted by: Phil Eaton , brooks Approved by: Timothy Beyer (maintainer) --- lang/polyml/Makefile | 7 ++++--- lang/polyml/distinfo | 4 ++-- lang/polyml/pkg-plist | 4 ++-- 3 files changed, 8 insertions(+), 7 deletions(-) (limited to 'lang/polyml') 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 -- cgit