07:42 Koichiro Iwao (meta)  Author: Timothy Beyer

lang/mlton: Update to 20210816

and fix build for FreeBSD 12 and 13.

PR:		259261

    042847b

22:52 bapt 

Avoid useless @exec

 

15:23 bapt 

Cleanup plist

 

17:57 rene 

Bring lang/mlton back into shape.

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)

 

08:44 stefan 

This patch adds three features to the lang/mlton port:
* 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

01:02 tabthorpe 

- Update to 20070826

PR:             ports/118979
Submitted by:   Jesper Louis Andersen <jesper.louis.andersen gmail.com>
(maintainer)
Sponsored by:   FreeBSD Bug-a-thon #3

10:05 pav 

- Update to 20051202

PR:             ports/90097
Submitted by:   Geoffrey Mainland <mainland@apeiron.net>
Approved by:    maintainer

01:56 edwin 

RESURRECT PORT: lang/mlton

        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>

23:44 kris 

As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.

15:42 thierry 

Add mlton 20040227, an optimizing Standard ML compiler.

PR:             44295
Submitted by:   Stephen Weeks