aboutsummaryrefslogtreecommitdiff
path: root/lang/mlton/distinfo
Commit message (Collapse)AuthorAgeFilesLines
* Bring lang/mlton back into shape.Rene Ladan2014-03-071-6/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | From the PR submitter: - Update to 20100608 - Support amd64 natively - Update DISTFILES location to use Sourceforge - Add LICENSE_FILE - Ensure add-local-cross script is executable - Clean up old patches, replace trivial patches by REINPLACE_CMD - Mark SMLNJ option as broken for now. - Mark jobs unsafe. From myself: - Unexpire. - Add stage support - Add USE_GCC=any - Convert to USES - New LIB_DEPENDS format - Remove pre-FreeBSD 7.0 compatibility - Pass maintainership to submitter PR: ports/177406 Submitted by: Timothy Beyer <beyert@cs.ucr.edu> Approved by: previous maintainer timeout (11 months) Notes: svn path=/head/; revision=347412
* - remove MD5Olli Hauer2011-07-031-3/+0
| | | | Notes: svn path=/head/; revision=276987
* This patch adds three features to the lang/mlton port:Stefan Walter2008-12-101-3/+6
| | | | | | | | | | | | | * Support for FreeBSD 6.x * Support for compilation with SML/NJ * Cross-compilation with mingw32 PR: 124061 Submitted by: Timothy Bourke <timbob@bigpond.com> Approved by: maintainer Notes: svn path=/head/; revision=224064
* - Update to 20070826Thomas Abthorpe2008-01-261-6/+6
| | | | | | | | | 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
* lang/mlton: removing BROKENDaichi GOTO2006-06-291-3/+3
| | | | | | | | | 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
* - Update to 20051202Pav Lucistnik2006-01-051-6/+6
| | | | | | | | | PR: ports/90097 Submitted by: Geoffrey Mainland <mainland@apeiron.net> Approved by: maintainer Notes: svn path=/head/; revision=152797
* RESURRECT PORT: lang/mltonEdwin Groothuis2005-12-011-0/+6
| | | | | | | | | | | | | | | | | 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-181-6/+0
| | | | | | | and the handful of ports that depended on them. Notes: svn path=/head/; revision=129234
* Add mlton 20040227, an optimizing Standard ML compiler.Thierry Thomas2004-08-211-0/+6
PR: 44295 Submitted by: Stephen Weeks Notes: svn path=/head/; revision=116955