diff options
author | pav <pav@FreeBSD.org> | 2009-12-08 22:30:09 +0800 |
---|---|---|
committer | pav <pav@FreeBSD.org> | 2009-12-08 22:30:09 +0800 |
commit | 63ea972d4fb9e3310eacf3fe692a9afe49874235 (patch) | |
tree | bc0c931c9789842aadf764e5b6d07eb613cb5e08 /lang/mlton | |
parent | 50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad (diff) | |
download | freebsd-ports-gnome-63ea972d4fb9e3310eacf3fe692a9afe49874235.tar.gz freebsd-ports-gnome-63ea972d4fb9e3310eacf3fe692a9afe49874235.tar.zst freebsd-ports-gnome-63ea972d4fb9e3310eacf3fe692a9afe49874235.zip |
This port has been broken for 3+ months, thus
- Mark DEPRECATED and schedule for expiration in one month
With hat: portmgr
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 872a9e5e7044..c7dde0ed0e78 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -29,6 +29,8 @@ RUN_DEPENDS= bash:${PORTSDIR}/shells/bash BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash BROKEN= does not build +DEPRECATED= has been broken for 5 months +EXPIRATION_DATE=2010-01-08 OPTIONS= SMLNJ "Bootstrap with SML/NJ (can take >15 hours)" off \ MINGW32 "Add the mingw32 target (requires wine)" off |