aboutsummaryrefslogtreecommitdiffstats
path: root/lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* Bump PORTREVISIONS for ports depending on the canonical version of GCC andgerald2016-11-201-1/+1
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.mat2016-04-011-11/+11
* - Fix shebangsamdmi32015-10-021-8/+13
* Avoid useless @execbapt2014-11-011-9/+9
* Cleanup plistbapt2014-10-271-259/+0
* Attempt to unbreak INDEXantoine2014-07-311-2/+2
* Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.adamw2014-07-151-1/+1
* Bring lang/mlton back into shape.rene2014-03-0812-499/+553
* Deprecate ports broken for more than 6 monthbapt2014-01-281-0/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Mark as broken:bapt2013-07-181-0/+2
* Convert to new options frameworkbapt2013-05-121-11/+12
* Rectify USE_TEX to support both of teTeX and TeXLive.hrs2013-05-121-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexhrs2013-05-061-2/+2
* - Fix all new cases of 'No newline at end of file' in the ports treeak2013-03-071-1/+1
* - fix build with newer math/gmp in ports tree. Newer versions of gmp do notrm2013-02-193-9/+16
* - update png to 1.5.10dinoex2012-06-011-1/+1
* - Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp.stephen2011-12-261-3/+3
* - remove MD5ohauer2011-07-031-3/+0
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-1/+1
* - Unbreak buildpgj2010-06-232-18/+41
* Switch to use newer GMP version.ale2010-04-191-2/+2
* - update to 1.4.1dinoex2010-03-281-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* This port has been broken for 3+ months, thuspav2009-12-081-0/+2
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-1/+1
* Mark BROKEN: does not build.erwin2009-06-131-0/+2
* Chase libgmp and bump PORTREVISION.ale2009-05-131-2/+2
* - Remove conditional checks for FreeBSD 5.x and olderpav2009-01-061-3/+0
* This patch adds three features to the lang/mlton port:stefan2008-12-1020-13/+16568
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-0/+1
* - Update to 20070826tabthorpe2008-01-264-195/+1600
* Hand maintainership over to jlouis@mongers.org. While here, pet portlint.linimon2007-12-121-5/+3
* - Welcome X.org 7.2 \o/.flz2007-05-201-1/+1
* BROKEN except on 6.x: this now appears to be a 6.x binary, and thekris2006-09-171-4/+5
* lang/mlton: removing BROKENdaichi2006-06-292-13/+15
* BROKEN: Prebuilt binary depends on old version of libgmpkris2006-05-221-0/+2
* Chase gmp library and bump PORTREVISION.ale2006-05-101-1/+2
* Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0
* - Update to 20051202pav2006-01-054-122/+1261
* BROKEN: Unfetchablekris2005-12-181-0/+2
* RESURRECT PORT: lang/mltonedwin2005-12-014-0/+708
* As previously announced, remove ports that have reached their expiry date,kris2005-02-194-560/+0
* This port is scheduled to be removed on 2005-02-18 if it is stillkris2004-12-191-0/+2
* BROKEN: Size mismatchkrion2004-12-081-0/+2
* This port includes a 5.x binary that links to libm.so.2, which is partkris2004-10-111-5/+2
* Add mlton 20040227, an optimizing Standard ML compiler.thierry2004-08-214-0/+559