1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Commit Graph

23 Commits

Author SHA1 Message Date
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