| non port: lang/mlton/pkg-plist |
|
SVNWeb
|
Number of commits found: 10 |
|
Wed, 20 Oct 2021
|
[ 07:42 Koichiro Iwao (meta)  Author: Timothy Beyer ]    042847b (Only the first 10 of 18 ports in this commit are shown above.  )
lang/mlton: Update to 20210816
and fix build for FreeBSD 12 and 13.
PR: 259261
|
|
Fri, 31 Oct 2014
|
[ 22:52 bapt ]  
Avoid useless @exec
|
|
Mon, 27 Oct 2014
|
[ 15:23 bapt ] (Only the first 10 of 198 ports in this commit are shown above. )
Cleanup plist
|
|
Fri, 7 Mar 2014
|
[ 17:57 rene ] (Only the first 10 of 12 ports in this commit are shown above. )
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)
|
|
Wed, 10 Dec 2008
|
[ 08:44 stefan ] (Only the first 10 of 20 ports in this commit are shown above. )
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
|
|
Sat, 26 Jan 2008
|
[ 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
|
|
Thu, 5 Jan 2006
|
[ 10:05 pav ]
- Update to 20051202
PR: ports/90097
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
Approved by: maintainer
|
|
Thu, 1 Dec 2005
|
[ 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>
|
|
Fri, 18 Feb 2005
|
[ 23:44 kris ] (Only the first 10 of 366 ports in this commit are shown above. )
As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
|
|
Sat, 21 Aug 2004
|
[ 15:42 thierry ]
Add mlton 20040227, an optimizing Standard ML compiler.
PR: 44295
Submitted by: Stephen Weeks
|
Number of commits found: 10 |
As an Amazon Associate I earn from qualifying purchases.