devel/libffi: Bump deps PORTREVISION for shlib change

PR:		263764
Reported by:	VVD <vvd@unislabs.com>

lang/polyml: Update to 5.9

PR:		261019
Reported by:	wen@
Approved by:	maintainer

lang/polyml: Update to 5.8.2

PR:		255975
Submitter:	wen@
Approved by:	maintainer(timeout, > 20 days)

Remove # $FreeBSD$ from Makefiles.

lang/polyml: Update to 5.8.1

- Bug fix release for version 5.8
- Visual Studio projects have been updated to VS2017 and SDK 10

Changelog: https://github.com/polyml/polyml/releases/tag/v5.8.1

PR:		253282
Submitted by:	Wen Heping <wen@FreeBSD.org>
Reviewed by:	tcberner (mentor)
Approved by:	arrowd (mentor)
Differential Revision:	https://reviews.freebsd.org/D28529

lang/polyml: Fix build after libffi update

Add a patch to fix the build of lang/polyml after devel/libffi update.
This was missed in r541232.

PR:		247028 (for tracking)

Chanse update of devel/libffi

Chase the devel/libffi update
Bump portrevision of all dependent ports to chace shard library version bump
in libffi.
Update LIB_DEPENDS lines where needed to not require a specific version of
libffi.so.

PR:		247028 (for tracking)

Update to 5.8

PR:		247062
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

lang/polyml: update to 5.7.1

Move some variables to its place.

PR:	229273
Reported by:	hannes@mehnert.org
Approved by:	tcberner (mentor) beyert@cs.ucr.edu (maintainer)
Differential Revision:	https://reviews.freebsd.org/D16022

Fixup USE_GITHUB usage.

It already sets DISTNAME to a very nice unique name, do not set it
yourself.

Sponsored by:	Absolight

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)

Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.

With hat:	portmgr
Sponsored by:	Absolight

- Allow exposing polyml as a shared library (as required by e.g. HOL4)
- Strip installed library as advised by portlint(1)
- While here, sort knobs and remove useless .include <bsd.port.options.mk>

PR:		203467
Approved by:	maintainer

lang/polyml: depend on ffi, use pkg-plist, add motif option

PR:		192165
Approved by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

lang/polyml: Upgrade version 5.5 => 5.5.2

Also:
  * add support for system libffi
  * Use sed instead of patch to fix configure
  * Adopt modern port conventions

PR:		191914
Submitted by:	maintainer (Timothy Beyer)

Update the default version of GCC used in the Ports Collection from
GCC 4.6.4 to GCC 4.7.3.  This entails updating the lang/gcc port as
well as changing the default in Mk/bsd.default-versions.mk.

Part II, Bump PORTREVISIONs.

PR:		182136
Supported by:	Christoph Moench-Tegeder <cmt@burggraben.net> (fixing many ports)
Tested by:	bdrewery (two -exp runs)

lang/polyml: allow staging

- Allow staging
- Fix build on head

PR:		ports/184074
Submitted by:	maintainer

Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)

- Update to 5.5

PR:		ports/176627
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

- Fix a segfault on startup
- While here trim header

PR:		ports/173446
Submitted by:	Imre Vadasz <imre@vdsz.com>
Approved by:	maintainer

- Update to 5.4.1
- While I'm here, remove outdated OSVERSION check

PR:             ports/168180
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)

- remove MD5

- Try to fix build on amd64/6 (untested)

Suggested by:   maintainer

- Update to 5.4
- Revive amd64 build

Changes:        http://www.polyml.org/docs/ReleaseNotes.html
PR:             ports/151476
Submitted by:   sunpoet (myself)
Approved by:    Timothy Beyer <beyert@cs.ucr.edu> (maintainer), pgollucci
(mentor, implicit)

- Update to 5.3
- Add copyright information

PR:             ports/149735
Submitted by:   Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)

Fix maintainer emailadress

PR:             149451
Submitted by:   maintainer

- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)

PR:             143994 143995 143996
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe:   yes

- Update to 5.2.1

PR:             ports/139735
Submitted by:   Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by:    rafan (co-mentor)

- Switch SourceForge ports to the new File Release System: categories starting
with H,I,J,K,L

[MAINTAINER] lang/polyml: 5.1 -> 5.2

PR:             ports/126068
Submitted by:   Timothy Bourke <timbob@bigpond.com>

- Remove USE_GCC where it can be satisfied with base compiler on following
  FreeBSD versions: 5.3 and up, 6.x, 7.x, 8-CURRENT

- Fix build with gcc 4

Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

- Update to 5.1

PR:             ports/120997
Submitted by:   Timothy Bourke <timbob at bigpond.com> (maintainer)

- Marked broken for amd64

Submitted by:   pointyhat via kris
Approved by:    maintainer

- Remove patchset (forget in last commit)

Submitted by: pointyhat and maintainer

- Update to 5.0

PR:             109951
Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)

- Update to 4.2.0
- Is not RESTRICTED anymore

PR:             94667
Submitted by:   maintainer

SHA256ify

Approved by:    krion@

Add polyml 4.1.3, a fast open-source implementation of Standard ML.

PR:             83433
Submitted by:   Timothy Bourke <timbob@bigpond.com>