diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 15:49:33 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 15:49:33 +0000 |
| commit | d7ecdbf6158f55be0c01aadf4ac7104ec8004c0d (patch) | |
| tree | 9569f4a93c68ad29093476f90b85ce1f5b49ec5e /lang/mlton | |
| parent | 4d962acc36b899ee41ce71373939ac8705d5449a (diff) | |
Notes
Diffstat (limited to 'lang/mlton')
| -rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index c25f8c4d3be4..c8c732c31e88 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -26,7 +26,7 @@ BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash LICENSE_FILE= doc/license/MLton-LICENSE -OPTIONS_DEFINE= SMLNJ MINGW32 +OPTIONS_DEFINE= SMLNJ MINGW32 DOCS SMLNJ_DESC= Bootstrap with SML/NJ (can take >15 hours) MINGW32_DESC= Add the mingw32 target (requires wine) |