svn commit: r413374 - head/lang/polyml

[Kurt Jaeger]

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 at gmail.com>, brooks
  Approved by:	Timothy Beyer <beyert at 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