1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-17 03:25:46 +00:00
Commit Graph

13 Commits

Author SHA1 Message Date
Kris Kennaway
118b8631a1 BROKEN 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.x
2006-09-17 02:34:32 +00:00
Daichi GOTO
de98569d5e lang/mlton: removing BROKEN
PR:		ports/99584
Submitted by:	Jesper Louis Andersen <jlouis@mongers.org>
Approved by:	Stephen Weeks <sweeks@sweeks.com> (maintainer)
2006-06-29 15:09:44 +00:00
Kris Kennaway
2282ee5288 BROKEN: Prebuilt binary depends on old version of libgmp 2006-05-21 22:00:28 +00:00
Alex Dupre
ffcb54b54f Chase gmp library and bump PORTREVISION. 2006-05-10 14:46:47 +00:00
Edwin Groothuis
7c6393360c Remove USE_REINPLACE from the categories starting with L 2006-05-09 20:52:24 +00:00
Pav Lucistnik
d7b70f434f - Update to 20051202
PR:		ports/90097
Submitted by:	Geoffrey Mainland <mainland@apeiron.net>
Approved by:	maintainer
2006-01-05 10:05:36 +00:00
Kris Kennaway
9a61c2aa50 BROKEN: Unfetchable 2005-12-17 18:53:20 +00:00
Edwin Groothuis
ed37ea0547 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>
2005-12-01 01:56:43 +00:00
Kris Kennaway
11ea174ccb As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
2005-02-18 23:44:49 +00:00
Kris Kennaway
b70e8b7e1d 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.
2004-12-18 23:02:35 +00:00
Kirill Ponomarev
c4a0d2924c BROKEN: Size mismatch 2004-12-08 10:17:50 +00:00
Kris Kennaway
6d101a4228 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:	portmgr
2004-10-11 00:14:10 +00:00
Thierry Thomas
57f084cd83 Add mlton 20040227, an optimizing Standard ML compiler.
PR:		44295
Submitted by:	Stephen Weeks
2004-08-21 15:42:34 +00:00