diff options
| author | thierry <thierry@FreeBSD.org> | 2004-08-21 23:42:34 +0800 |
|---|---|---|
| committer | thierry <thierry@FreeBSD.org> | 2004-08-21 23:42:34 +0800 |
| commit | b77bc909c942445d8a01a199574bd155fd12076e (patch) | |
| tree | d826c7ab9adab85563ea695f77d6d983320cf7de /lang/Makefile | |
| parent | 84b05e1603d2173491cab6d79fc8e7b83c24bdfc (diff) | |
| download | freebsd-ports-gnome-b77bc909c942445d8a01a199574bd155fd12076e.tar.gz freebsd-ports-gnome-b77bc909c942445d8a01a199574bd155fd12076e.tar.zst freebsd-ports-gnome-b77bc909c942445d8a01a199574bd155fd12076e.zip | |
Add mlton 20040227, an optimizing Standard ML compiler.
PR: 44295
Submitted by: Stephen Weeks
Diffstat (limited to 'lang/Makefile')
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 626dd6f477c4..51f7f6789d79 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -132,6 +132,7 @@ SUBDIR += mit-scheme SUBDIR += mixal SUBDIR += ml-pnet + SUBDIR += mlton SUBDIR += mmix SUBDIR += mono SUBDIR += moscow_ml |