diff options
| author | Erwin Lansing <erwin@FreeBSD.org> | 2009-06-13 10:31:41 +0000 |
|---|---|---|
| committer | Erwin Lansing <erwin@FreeBSD.org> | 2009-06-13 10:31:41 +0000 |
| commit | 71d6cf085e8ce004d7b0662fccfcade67da2d484 (patch) | |
| tree | b94e55695abcfd68d540cc836ff23df79e49c923 /lang/mlton | |
| parent | 90dfafc410b048d2ba1ca33db98fecfac7b1bc7c (diff) | |
| download | ports-71d6cf085e8ce004d7b0662fccfcade67da2d484.tar.gz ports-71d6cf085e8ce004d7b0662fccfcade67da2d484.zip | |
Notes
Diffstat (limited to 'lang/mlton')
| -rw-r--r-- | lang/mlton/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/mlton/Makefile b/lang/mlton/Makefile index 1a3a6bebef0e..4d74a94a8547 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -28,6 +28,8 @@ LIB_DEPENDS= gmp.8:${PORTSDIR}/math/libgmp4 RUN_DEPENDS= bash:${PORTSDIR}/shells/bash BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash +BROKEN= does not build + OPTIONS= SMLNJ "Bootstrap with SML/NJ (can take >15 hours)" off \ MINGW32 "Add the mingw32 target (requires wine)" off |