Steve Wills
fd55d94780
lang/polyml: depend on ffi, use pkg-plist, add motif option
...
PR: 192165
Approved by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
2014-07-31 18:43:35 +00:00
John Marino
04e4ffa550
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)
2014-07-27 07:59:57 +00:00
Gerald Pfeifer
1cd277bdce
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)
2014-03-10 20:55:20 +00:00
William Grzybowski
dfc8713b75
lang/polyml: allow staging
...
- Allow staging
- Fix build on head
PR: ports/184074
Submitted by: maintainer
2013-12-01 12:46:48 +00:00
Baptiste Daroussin
888ab73a81
Add NO_STAGE all over the place in preparation for the staging support (cat: lang)
2013-09-20 19:53:09 +00:00
Beech Rintoul
7635717a52
- Update to 5.5
...
PR: ports/176627
Submitted by: Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
2013-03-04 19:21:31 +00:00
Martin Wilke
3281c9daf4
- Fix a segfault on startup
...
- While here trim header
PR: ports/173446
Submitted by: Imre Vadasz <imre@vdsz.com>
Approved by: maintainer
2013-02-08 08:24:18 +00:00
Sunpoet Po-Chuan Hsieh
ffde96edb4
- 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)
2012-05-21 01:53:23 +00:00
Olli Hauer
27de467a2b
- remove MD5
2011-07-03 13:45:36 +00:00
Pav Lucistnik
41f5a6702a
- Try to fix build on amd64/6 (untested)
...
Suggested by: maintainer
2010-10-19 21:51:58 +00:00
Sunpoet Po-Chuan Hsieh
e256a5e6f8
- 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)
2010-10-16 09:13:03 +00:00
Li-Wen Hsu
5a56867b69
- Update to 5.3
...
- Add copyright information
PR: ports/149735
Submitted by: Timothy Beyer <beyert AT cs.ucr.edu> (maintainer)
2010-08-22 01:26:48 +00:00
Tilman Keskinoz
3e820cb965
Fix maintainer emailadress
...
PR: 149451
Submitted by: maintainer
2010-08-09 13:15:59 +00:00
Martin Wilke
b08635b913
- 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
2010-02-26 09:30:28 +00:00
Yi-Jheng Lin
97460aabb1
- Update to 5.2.1
...
PR: ports/139735
Submitted by: Timothy Bourke <timbob AT bigpond.com> (maintainer)
Approved by: rafan (co-mentor)
2009-10-20 15:38:47 +00:00
Dmitry Marakasov
0074c5fa8c
- Switch SourceForge ports to the new File Release System: categories starting with H,I,J,K,L
2009-08-22 00:24:37 +00:00
Edwin Groothuis
718c5ef4c5
[MAINTAINER] lang/polyml: 5.1 -> 5.2
...
PR: ports/126068
Submitted by: Timothy Bourke <timbob@bigpond.com>
2008-08-15 00:42:08 +00:00
Pav Lucistnik
efa63f6ba4
- 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
2008-07-25 14:34:52 +00:00
Rong-En Fan
64c804e4a6
- Fix build with gcc 4
...
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-05 05:18:58 +00:00
Rong-En Fan
8d3834b690
- Update to 5.1
...
PR: ports/120997
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:16:15 +00:00
Martin Wilke
a789b3a608
- Marked broken for amd64
...
Submitted by: pointyhat via kris
Approved by: maintainer
2007-03-20 16:18:23 +00:00
Martin Wilke
34db86fe80
- Remove patchset (forget in last commit)
...
Submitted by: pointyhat and maintainer
2007-03-11 10:30:13 +00:00
Martin Wilke
889331980a
- Update to 5.0
...
PR: 109951
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-06 21:01:39 +00:00
Marcus Alves Grando
f2eb9abe36
- Update to 4.2.0
...
- Is not RESTRICTED anymore
PR: 94667
Submitted by: maintainer
2006-03-29 14:05:30 +00:00
Edwin Groothuis
59152d0be4
SHA256ify
...
Approved by: krion@
2006-01-30 12:14:44 +00:00
Simon Barner
fbc1517ea7
Add polyml 4.1.3, a fast open-source implementation of Standard ML.
...
PR: 83433
Submitted by: Timothy Bourke <timbob@bigpond.com>
2005-07-29 07:19:56 +00:00