diff options
| author | pi <pi@FreeBSD.org> | 2016-04-16 03:58:03 +0800 |
|---|---|---|
| committer | pi <pi@FreeBSD.org> | 2016-04-16 03:58:03 +0800 |
| commit | a543209433d2c2c0049ede0e25d9c900e4c6bbc9 (patch) | |
| tree | da977d79608e52cdb2af4c638f4205958d7b4c4e /lang/polyml | |
| parent | 2f425e9331456fa0758e2383f6bad4fcd8bcfa24 (diff) | |
| download | freebsd-ports-gnome-a543209433d2c2c0049ede0e25d9c900e4c6bbc9.tar.gz freebsd-ports-gnome-a543209433d2c2c0049ede0e25d9c900e4c6bbc9.tar.zst freebsd-ports-gnome-a543209433d2c2c0049ede0e25d9c900e4c6bbc9.zip | |
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)
Diffstat (limited to 'lang/polyml')
| -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 |