FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
mlton 20100608 lang on this many watch lists=1 search for ports that depend on this port
Optimizing Standard ML compiler
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 21 Aug 2004 15:46:10
License: not specified in port


This is a port of MLton, the whole-program optimizing Standard ML
Compiler.  MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library.  For more
information, go to the MLton home page.

WWW: http://mlton.org/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. shells/bash
  2. textproc/gsed
  3. textproc/htmldoc
  4. print/teTeX-texmf
  5. print/teTeX-base
  6. devel/gmake
Required To Run:
  1. shells/bash
Required Libraries:
  1. math/gmp

This port is required by:

for Build * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/lang/mlton/ && make install clean
To add the package: pkg install lang/mlton


Configuration Options
===> The following configuration options are available for mlton-20100608:
     DOCS=on: Build and/or install documentation
     MINGW32=off: Add the mingw32 target (requires wine)
     SMLNJ=off: Bootstrap with SML/NJ (can take >15 hours)
===> Use 'make config' to modify these settings

Master Sites:
  1. http://aarnet.dl.sourceforge.net/project/mlton/mlton/20100608/
  2. http://distcache.FreeBSD.org/ports-distfiles/
  3. http://downloads.sourceforge.net/project/mlton/mlton/20100608/
  4. http://freefr.dl.sourceforge.net/project/mlton/mlton/20100608/
  5. http://garr.dl.sourceforge.net/project/mlton/mlton/20100608/
  6. http://heanet.dl.sourceforge.net/project/mlton/mlton/20100608/
  7. http://hivelocity.dl.sourceforge.net/project/mlton/mlton/20100608/
  8. http://ignum.dl.sourceforge.net/project/mlton/mlton/20100608/
  9. http://internode.dl.sourceforge.net/project/mlton/mlton/20100608/
  10. http://iweb.dl.sourceforge.net/project/mlton/mlton/20100608/
  11. http://jaist.dl.sourceforge.net/project/mlton/mlton/20100608/
  12. http://kaz.dl.sourceforge.net/project/mlton/mlton/20100608/
  13. http://kent.dl.sourceforge.net/project/mlton/mlton/20100608/
  14. http://master.dl.sourceforge.net/project/mlton/mlton/20100608/
  15. http://nchc.dl.sourceforge.net/project/mlton/mlton/20100608/
  16. http://ncu.dl.sourceforge.net/project/mlton/mlton/20100608/
  17. http://netcologne.dl.sourceforge.net/project/mlton/mlton/20100608/
  18. http://sunet.dl.sourceforge.net/project/mlton/mlton/20100608/
  19. http://superb-dca3.dl.sourceforge.net/project/mlton/mlton/20100608/
  20. http://switch.dl.sourceforge.net/project/mlton/mlton/20100608/
  21. http://tenet.dl.sourceforge.net/project/mlton/mlton/20100608/
  22. http://ufpr.dl.sourceforge.net/project/mlton/mlton/20100608/
  23. http://waix.dl.sourceforge.net/project/mlton/mlton/20100608/
  24. http://www.tbrk.org/distfiles/

Number of commits found: 41

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
15 Jul 2014 15:49:34
Original commit files touched by this commit  20100608
Revision:361959
adamw search for other commits by this committer
Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.

I'm not touching ruby19/ruby20/ruby21, but they also check for :MDOCS
without defining it in OPTIONS_DEFINE.
07 Mar 2014 17:57:08
Original commit files touched by this commit  20100608
Revision:347412
rene search for other commits by this committer
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)
27 Jan 2014 17:35:27
Original commit files touched by this commit  20070826_10
Revision:341435
bapt search for other commits by this committer
Deprecate ports broken for more than 6 month
20 Sep 2013 19:53:10
Original commit files touched by this commit  20070826_10
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
18 Jul 2013 09:40:07
Original commit files touched by this commit  20070826_10
Revision:323211
bapt search for other commits by this committer
Mark as broken:
'Shared object "libgmp.so.7" not found, required by "mlton-compile"

Reported by:	pointyhat and pkg-fallout
12 May 2013 06:05:03
Original commit files touched by this commit  20070826_10
Revision:317932
bapt search for other commits by this committer
Convert to new options framework
11 May 2013 17:58:56
Original commit files touched by this commit  20070826_10
Revision:317899
hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
06 May 2013 02:00:41
Original commit files touched by this commit  20070826_10
Revision:317455
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
07 Mar 2013 15:31:54
Original commit files touched by this commit  20070826_10
Revision:313597
ak search for other commits by this committer
- Fix all new cases of 'No newline at end of file' in the ports tree

Approved by: portmgr (bapt)
18 Feb 2013 18:22:11
Original commit files touched by this commit  20070826_10
Revision:312515
rm search for other commits by this committer
- fix build with newer math/gmp in ports tree. Newer versions of gmp do not
  define __gmp_const. This patch addresses the compile time errors with an
  ifndef.

while here:
- trim Makefile header
- remove indefinite article from COMMENT
- remove deprecated attribution from pkg-descr and make tab -> space change
  in WWW field

PR:		176229
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
Approved by:	maintainer (implicit, because the port was broken)
01 Jun 2012 05:26:28
Original commit files touched by this commit  20070826_10
dinoex search for other commits by this committer
- update png to 1.5.10
25 Dec 2011 17:24:01
Original commit files touched by this commit  20070826_9
stephen search for other commits by this committer
- Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp.
- Bump portrevision.

PR:             ports/163187 and ports/163520
Submitted by:   Naram Qashat <cyberbotx@cyberbotx.com>
03 Jul 2011 13:45:36
Original commit files touched by this commit  20070826_8
ohauer search for other commits by this committer
- remove MD5
02 May 2011 12:44:53
Original commit files touched by this commit  20070826_8
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
22 Jun 2010 22:08:57
Original commit files touched by this commit  20070826_7
pgj search for other commits by this committer
- Unbreak build
- Update master sites
- Prevent building documentation when NOPORTDOCS defined
- Fix dependency on math/mingw32-libgmp4
- Adapt boostrap to the recent GMP update
- Respect LOCALBASE (added by pgj)

PR:             ports/147278
Submitted by:   Vitaly Magerya <vmagerya@gmail.com>
Approved by:    maintainer
Feature safe:   yes
19 Apr 2010 10:43:43
Original commit files touched by this commit  20070826_7
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
28 Mar 2010 06:47:48
Original commit files touched by this commit  20070826_6
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
05 Feb 2010 11:46:55
Original commit files touched by this commit  20070826_5
dinoex search for other commits by this committer
- update to jpeg-8
08 Dec 2009 14:30:09
Original commit files touched by this commit  20070826_4
pav search for other commits by this committer
  This port has been broken for 3+ months, thus

- Mark DEPRECATED and schedule for expiration in one month

With hat:       portmgr
31 Jul 2009 13:57:52
Original commit files touched by this commit  20070826_4
dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
13 Jun 2009 10:31:41
Original commit files touched by this commit  20070826_3
erwin search for other commits by this committer
Mark BROKEN: does not build.
13 May 2009 09:46:02
Original commit files touched by this commit  20070826_3
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
05 Jan 2009 20:36:33
Original commit files touched by this commit  20070826_2
pav search for other commits by this committer
- Remove conditional checks for FreeBSD 5.x and older
10 Dec 2008 08:44:24
Original commit files touched by this commit  20070826_2
stefan search for other commits by this committer
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
06 Jun 2008 13:41:15
Original commit files touched by this commit  20070826_1
edwin search for other commits by this committer
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)
26 Jan 2008 01:02:33
Original commit files touched by this commit  20070826
tabthorpe search for other commits by this committer
- Update to 20070826

PR:             ports/118979
Submitted by:   Jesper Louis Andersen <jesper.louis.andersen gmail.com>
(maintainer)
Sponsored by:   FreeBSD Bug-a-thon #3
12 Dec 2007 03:22:18
Original commit files touched by this commit  20051202_3
linimon search for other commits by this committer
Hand maintainership over to jlouis@mongers.org.  While here, pet portlint.

Requested by:   old maintainer
19 May 2007 20:32:57
Original commit files touched by this commit  20051202_3
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
17 Sep 2006 02:34:32
Original commit files touched by this commit  20051202_2
kris search for other commits by this committer
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
29 Jun 2006 15:09:44
Original commit files touched by this commit  20051202_2
daichi search for other commits by this committer
lang/mlton: removing BROKEN

PR:             ports/99584
Submitted by:   Jesper Louis Andersen <jlouis@mongers.org>
Approved by:    Stephen Weeks <sweeks@sweeks.com> (maintainer)
21 May 2006 22:00:28
Original commit files touched by this commit  20051202_1
kris search for other commits by this committer
BROKEN: Prebuilt binary depends on old version of libgmp
10 May 2006 14:46:48
Original commit files touched by this commit  20051202_1
ale search for other commits by this committer
Chase gmp library and bump PORTREVISION.
09 May 2006 20:52:24
Original commit files touched by this commit  20051202
edwin search for other commits by this committer
Remove USE_REINPLACE from the categories starting with L
05 Jan 2006 10:05:36
Original commit files touched by this commit  20051202
pav search for other commits by this committer
- Update to 20051202

PR:             ports/90097
Submitted by:   Geoffrey Mainland <mainland@apeiron.net>
Approved by:    maintainer
17 Dec 2005 18:50:53
Original commit files touched by this commit  20041109
kris search for other commits by this committer
BROKEN: Unfetchable
01 Dec 2005 01:56:43
Original commit files touched by this commit  20041109
edwin search for other commits by this committer
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>
18 Feb 2005 23:44:49
Original commit files touched by this commit  20040227
kris search for other commits by this committer
As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
18 Dec 2004 23:02:35
Original commit files touched by this commit  20040227
kris search for other commits by this committer
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.
08 Dec 2004 10:17:50
Original commit files touched by this commit  20040227
krion search for other commits by this committer
BROKEN: Size mismatch
11 Oct 2004 00:14:10
Original commit files touched by this commit  20040227
kris search for other commits by this committer
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
21 Aug 2004 15:42:34
Original commit files touched by this commit  20040227
thierry search for other commits by this committer
Add mlton 20040227, an optimizing Standard ML compiler.

PR:             44295
Submitted by:   Stephen Weeks

Number of commits found: 41

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23

11 vulnerabilities affecting 34 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24399
Broken 181
Deprecated 823
Ignore 516
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 28
Expired 1
Set to expire 810
Interactive 13
new 24 hours 5
new 48 hours8
new 7 days18
new fortnight40
new month106

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.