Date: Fri, 15 Apr 2016 19:58:04 +0000 (UTC) From: Kurt Jaeger <pi@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r413374 - head/lang/polyml Message-ID: <201604151958.u3FJw4ED063114@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: pi Date: Fri Apr 15 19:58:03 2016 New Revision: 413374 URL: https://svnweb.freebsd.org/changeset/ports/413374 Log: 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 <philneaton95@gmail.com>, brooks Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer) Modified: head/lang/polyml/Makefile head/lang/polyml/distinfo head/lang/polyml/pkg-plist Modified: head/lang/polyml/Makefile ============================================================================== --- head/lang/polyml/Makefile Fri Apr 15 19:54:22 2016 (r413373) +++ head/lang/polyml/Makefile Fri Apr 15 19:58:03 2016 (r413374) @@ -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 Modified: head/lang/polyml/distinfo ============================================================================== --- head/lang/polyml/distinfo Fri Apr 15 19:54:22 2016 (r413373) +++ head/lang/polyml/distinfo Fri Apr 15 19:58:03 2016 (r413374) @@ -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 Modified: head/lang/polyml/pkg-plist ============================================================================== --- head/lang/polyml/pkg-plist Fri Apr 15 19:54:22 2016 (r413373) +++ head/lang/polyml/pkg-plist Fri Apr 15 19:58:03 2016 (r413374) @@ -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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201604151958.u3FJw4ED063114>