ports/lang/polyml, branch pkg-install-eol

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

2014-07-31T18:43:35Z

PR: 192165 Approved by: Timothy Beyer (maintainer)

lang/polyml: Upgrade version 5.5 => 5.5.2

2014-07-27T07:59:57Z

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

2014-03-10T20:55:20Z

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 (fixing many ports) Tested by: bdrewery (two -exp runs)

lang/polyml: allow staging

2013-12-01T12:46:48Z

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

2013-09-20T19:53:09Z

- Update to 5.5

2013-03-04T19:21:31Z

PR: ports/176627 Submitted by: Timothy Beyer (maintainer)

- Fix a segfault on startup

2013-02-08T08:24:18Z

- While here trim header PR: ports/173446 Submitted by: Imre Vadasz Approved by: maintainer

- Update to 5.4.1

2012-05-21T01:53:23Z

- While I'm here, remove outdated OSVERSION check PR: ports/168180 Submitted by: Timothy Beyer (maintainer)

- remove MD5

2011-07-03T13:45:36Z

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

2010-10-19T21:51:58Z

Suggested by: maintainer