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/Makefile | |
parent | Add bugfix for ei_decode_big. (diff) |
Mark BROKEN: does not build.
Notes
Notes:
svn path=/head/; revision=235682
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 |