mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-29 01:13:08 +00:00
Code Issues Releases Activity
208,369 Commits 45 Branches 100 Tags 3.3 GiB
fd202c7a5e
Commit Graph

18 Commits

Author SHA1 Message Date
Stefan Walter
776ae1fb28 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
 2008-12-10 08:44:24 +00:00
Edwin Groothuis
090059a210 Bump portrevision due to upgrade of devel/gettext. 
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
 2008-06-06 14:17:21 +00:00
Thomas Abthorpe
6690f2ab7d - Update to 20070826 
PR:		ports/118979
Submitted by:	Jesper Louis Andersen <jesper.louis.andersen gmail.com> (maintainer)
Sponsored by:	FreeBSD Bug-a-thon #3
 2008-01-26 01:02:33 +00:00
Mark Linimon
eb1d275d75 Hand maintainership over to jlouis@mongers.org. While here, pet portlint. 
Requested by:	old maintainer
 2007-12-12 03:22:18 +00:00
Florent Thoumie
d4f0d0048a - Welcome X.org 7.2 \o/. 
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
 2007-05-19 20:36:56 +00:00
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