mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-30 10:38:37 +00:00
Code Issues Releases Activity

lang/polyml: 5.5.2 -> 5.6

Browse Source 
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)
This commit is contained in:
Kurt Jaeger 2016-04-15 19:58:03 +00:00
parent 2a64f90273
commit bfc6922f4b
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=413374
3 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lang/polyml/Makefile
View File

@ -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

4
lang/polyml/distinfo
View File

@ -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

4
lang/polyml/pkg-plist
View File

@ -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