- Update to 20070826 PR: ports/118979 Submitted by: Jesper Louis Andersen <jesper.louis.andersen gmail.com> (maintainer) Sponsored by: FreeBSD Bug-a-thon #36690f2ab7d
Port details
lang/mlton20210816_1
Optimizing Standard ML compiler
- Maintainer
- beyert@cs.ucr.edu
- Packages
- mlton 20210816_1
- Upstream
- Higher version available: 20241230
- CPE
- none, CVEs only via VuXML
- WWW
- http://mlton.org/
- Links
- cgit · VuXML
Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE
None. There is no CVE without a VuXML entry for this version.
VuXML only (0) · listed, port not fixed yet
None.
pkg audit reports nothing for this version.Fixed (0)
No VuXML entries for this package.
Commits (66)
Hand maintainership over to jlouis@mongers.org. While here, pet portlint. Requested by: old maintainereb1d275d75
- Welcome X.org 7.2 \o/. - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.d4f0d0048aBROKEN except on 6.x: this now appears to be a 6.x binary, and the mythical compat6x port is required to run it on 7.x118b8631a1
lang/mlton: removing BROKEN PR: ports/99584 Submitted by: Jesper Louis Andersen <jlouis@mongers.org> Approved by: Stephen Weeks <sweeks@sweeks.com> (maintainer)de98569d5e
BROKEN: Prebuilt binary depends on old version of libgmp2282ee5288
Chase gmp library and bump PORTREVISION.ffcb54b54f
Remove USE_REINPLACE from the categories starting with L7c6393360c
- Update to 20051202 PR: ports/90097 Submitted by: Geoffrey Mainland <mainland@apeiron.net> Approved by: maintainerd7b70f434f
BROKEN: Unfetchable9a61c2aa50
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>ed37ea0547As previously announced, remove ports that have reached their expiry date, and the handful of ports that depended on them.11ea174ccb
This port is scheduled to be removed on 2005-02-18 if it is still broken at that time, and a fix has not been submitted to GNATS.b70e8b7e1d
BROKEN: Size mismatchc4a0d2924c
This port includes a 5.x binary that links to libm.so.2, which is part 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: portmgr6d101a4228
Add mlton 20040227, an optimizing Standard ML compiler. PR: 44295 Submitted by: Stephen Weeks57f084cd83