1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-28 10:08:24 +00:00
Commit Graph

4 Commits

Author SHA1 Message Date
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