diff options
Diffstat (limited to 'lang/mlton/Makefile')
| -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 |