diff options
| author | kris <kris@FreeBSD.org> | 2004-12-19 07:02:35 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2004-12-19 07:02:35 +0800 |
| commit | f62863c25a041364a32d55be531b4482dc026dc8 (patch) | |
| tree | 1271c6aa115afcfcbc3c95fe26593051e9a5ebbc /lang/mlton | |
| parent | f108e4124947ebc2dbf1312e28ad051b4396e33a (diff) | |
| download | freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.tar.gz freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.tar.zst freebsd-ports-gnome-f62863c25a041364a32d55be531b4482dc026dc8.zip | |
This port is scheduled to be removed on 2005-02-18 if it is still
broken at that time, and a fix has not been submitted to GNATS.
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 cc1865f96ca5..9b7fef32f9a9 100644 --- a/lang/mlton/Makefile +++ b/lang/mlton/Makefile @@ -22,6 +22,8 @@ MAINTAINER= MLton@mlton.org COMMENT= An optimizing Standard ML compiler BROKEN= Size mismatch +EXPIRATION_DATE=2005-02-18 +DEPRECATED= ${BROKEN} BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash2 \ hevea:${PORTSDIR}/textproc/hevea \ |