aboutsummaryrefslogtreecommitdiff
path: root/lang/mlton
Commit message (Collapse)AuthorAgeFilesLines
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
| | | | | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav) Notes: svn path=/head/; revision=214430
* - Update to 20070826Thomas Abthorpe2008-01-264-195/+1600
| | | | | | | | | PR: ports/118979 Submitted by: Jesper Louis Andersen <jesper.louis.andersen gmail.com> (maintainer) Sponsored by: FreeBSD Bug-a-thon #3 Notes: svn path=/head/; revision=206213
* Hand maintainership over to jlouis@mongers.org. While here, pet portlint.Mark Linimon2007-12-121-5/+3
| | | | | | | Requested by: old maintainer Notes: svn path=/head/; revision=203130
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
| | | | | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}. Notes: svn path=/head/; revision=191544
* BROKEN except on 6.x: this now appears to be a 6.x binary, and theKris Kennaway2006-09-171-4/+5
| | | | | | | mythical compat6x port is required to run it on 7.x Notes: svn path=/head/; revision=173202
* lang/mlton: removing BROKENDaichi GOTO2006-06-292-13/+15
| | | | | | | | | PR: ports/99584 Submitted by: Jesper Louis Andersen <jlouis@mongers.org> Approved by: Stephen Weeks <sweeks@sweeks.com> (maintainer) Notes: svn path=/head/; revision=166601
* BROKEN: Prebuilt binary depends on old version of libgmpKris Kennaway2006-05-211-0/+2
| | | | Notes: svn path=/head/; revision=163020
* Chase gmp library and bump PORTREVISION.Alex Dupre2006-05-101-1/+2
| | | | Notes: svn path=/head/; revision=161929
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
| | | | Notes: svn path=/head/; revision=161836
* - Update to 20051202Pav Lucistnik2006-01-054-122/+1261
| | | | | | | | | PR: ports/90097 Submitted by: Geoffrey Mainland <mainland@apeiron.net> Approved by: maintainer Notes: svn path=/head/; revision=152797
* BROKEN: UnfetchableKris Kennaway2005-12-171-0/+2
| | | | Notes: svn path=/head/; revision=151434
* RESURRECT PORT: lang/mltonEdwin Groothuis2005-12-014-0/+708
| | | | | | | | | | | | | | | | | Although Stephen Weeks was the original maintainer of this port and still should be (unless he'd prefer not to be, in which case I volunteer), I made the first push to get this port included and will commit to resolving any problems that crop up from here on out. I think it's important to have MLton in the ports tree as it is a great ML compiler. The new lang/twelf port would also benefit, as it is a good bit faster when compiled with MLton :) PR: ports/89684 Submitted by: Geoffrey Mainland <mainland@apeiron.net> Notes: svn path=/head/; revision=150108
* As previously announced, remove ports that have reached their expiry date,Kris Kennaway2005-02-184-560/+0
| | | | | | | and the handful of ports that depended on them. Notes: svn path=/head/; revision=129234
* This port is scheduled to be removed on 2005-02-18 if it is stillKris Kennaway2004-12-181-0/+2
| | | | | | | broken at that time, and a fix has not been submitted to GNATS. Notes: svn path=/head/; revision=124429
* BROKEN: Size mismatchKirill Ponomarev2004-12-081-0/+2
| | | | Notes: svn path=/head/; revision=123449
* This port includes a 5.x binary that links to libm.so.2, which is partKris Kennaway2004-10-111-5/+2
| | | | | | | | | | of the compiler bootstrap. Drop it back to use the 4.x binary version with compat4x instead so it will run on 5.3. Approved by: portmgr Notes: svn path=/head/; revision=118599
* Add mlton 20040227, an optimizing Standard ML compiler.Thierry Thomas2004-08-214-0/+559
PR: 44295 Submitted by: Stephen Weeks Notes: svn path=/head/; revision=116955
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 07:07:37 +0000