aboutsummaryrefslogtreecommitdiffstats
path: root/lang/mlton
diff options
context:
space:
mode:
authorpav <pav@FreeBSD.org>2009-12-08 22:30:09 +0800
committerpav <pav@FreeBSD.org>2009-12-08 22:30:09 +0800
commit63ea972d4fb9e3310eacf3fe692a9afe49874235 (patch)
treebc0c931c9789842aadf764e5b6d07eb613cb5e08 /lang/mlton
parent50ec0ecc16f7d463b891438f4eaa28ff1cfe83ad (diff)
downloadfreebsd-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/Makefile2
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