diff options
| author | erwin <erwin@FreeBSD.org> | 2009-06-13 18:31:41 +0800 |
|---|---|---|
| committer | erwin <erwin@FreeBSD.org> | 2009-06-13 18:31:41 +0800 |
| commit | 9d8533a88ec1a3a9308682d688a03887bbb2a910 (patch) | |
| tree | cc4df3eb0f93d9ad6c2aece6c0bc2e447ba7eac2 /lang | |
| parent | 3c1d5d95d8706f225148c3d9fae060a470bac469 (diff) | |
| download | freebsd-ports-gnome-9d8533a88ec1a3a9308682d688a03887bbb2a910.tar.gz freebsd-ports-gnome-9d8533a88ec1a3a9308682d688a03887bbb2a910.tar.zst freebsd-ports-gnome-9d8533a88ec1a3a9308682d688a03887bbb2a910.zip | |
Mark BROKEN: does not build.
Diffstat (limited to 'lang')
| -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 |