aboutsummaryrefslogtreecommitdiff
path: root/lang/mlton
Commit message (Expand)AuthorAgeFilesLines
* Attempt to unbreak INDEXAntoine Brodin2014-07-301-2/+2
* Add DOCS to OPTIONS_DEFINE to ports that check for PORT_OPTIONS:MDOCS.Adam Weinberger2014-07-151-1/+1
* Bring lang/mlton back into shape.Rene Ladan2014-03-0712-499/+553
* Deprecate ports broken for more than 6 monthBaptiste Daroussin2014-01-271-0/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Mark as broken:Baptiste Daroussin2013-07-181-0/+2
* Convert to new options frameworkBaptiste Daroussin2013-05-121-11/+12
* Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato2013-05-111-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato2013-05-061-2/+2
* - Fix all new cases of 'No newline at end of file' in the ports treeAlex Kozlov2013-03-071-1/+1
* - fix build with newer math/gmp in ports tree. Newer versions of gmp do notRuslan Makhmatkhanov2013-02-183-9/+16
* - update png to 1.5.10Dirk Meyer2012-06-011-1/+1
* - Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp.Stephen Montgomery-Smith2011-12-251-3/+3
* - remove MD5Olli Hauer2011-07-031-3/+0
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
* - Unbreak buildGabor Pali2010-06-222-18/+41
* Switch to use newer GMP version.Alex Dupre2010-04-191-2/+2
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
* This port has been broken for 3+ months, thusPav Lucistnik2009-12-081-0/+2
* - bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer2009-07-311-1/+1
* Mark BROKEN: does not build.Erwin Lansing2009-06-131-0/+2
* Chase libgmp and bump PORTREVISION.Alex Dupre2009-05-131-2/+2
* - Remove conditional checks for FreeBSD 5.x and olderPav Lucistnik2009-01-051-3/+0
* This patch adds three features to the lang/mlton port:Stefan Walter2008-12-1020-13/+16568
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-0/+1
* - Update to 20070826Thomas Abthorpe2008-01-264-195/+1600
* Hand maintainership over to jlouis@mongers.org. While here, pet portlint.Mark Linimon2007-12-121-5/+3
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-1/+1
* BROKEN except on 6.x: this now appears to be a 6.x binary, and theKris Kennaway2006-09-171-4/+5
* lang/mlton: removing BROKENDaichi GOTO2006-06-292-13/+15
* BROKEN: Prebuilt binary depends on old version of libgmpKris Kennaway2006-05-211-0/+2
* Chase gmp library and bump PORTREVISION.Alex Dupre2006-05-101-1/+2
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
* - Update to 20051202Pav Lucistnik2006-01-054-122/+1261
* BROKEN: UnfetchableKris Kennaway2005-12-171-0/+2
* RESURRECT PORT: lang/mltonEdwin Groothuis2005-12-014-0/+708
* As previously announced, remove ports that have reached their expiry date,Kris Kennaway2005-02-184-560/+0
* This port is scheduled to be removed on 2005-02-18 if it is stillKris Kennaway2004-12-181-0/+2
* BROKEN: Size mismatchKirill Ponomarev2004-12-081-0/+2
* This port includes a 5.x binary that links to libm.so.2, which is partKris Kennaway2004-10-111-5/+2
* Add mlton 20040227, an optimizing Standard ML compiler.Thierry Thomas2004-08-214-0/+559
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 19:22:17 +0000