lang/polyml: Moved man to share/man

Approved by:    portmgr (blanket)

lang/polyml: Update to 5.9.1

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

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

lang: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Akinori MUSHA aka knu <knu@idaemons.org>
  *  Alex Dupre <ale@FreeBSD.org>
  *  Alexey Dokuchaev <danfe@FreeBSD.org>
  *  Alonso Cardenas Marquez <acm@FreeBSD.org>
  *  Andreas Klemm <andreas@klemm.gtn.com>
  *  Andrew Pantyukhin <infofarmer@FreeBSD.org>
  *  Andrey Zakhvatov
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@tobez.org>

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>