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/ocamlduce/Makefile | |
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/ocamlduce/Makefile')
-rw-r--r-- | lang/ocamlduce/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/ocamlduce/Makefile b/lang/ocamlduce/Makefile index 864184d08bd4..a2e4fb596327 100644 --- a/lang/ocamlduce/Makefile +++ b/lang/ocamlduce/Makefile @@ -23,6 +23,8 @@ USE_OCAML_PLIST= yes ALL_TARGET= all opt BROKEN= does not build with current version of lang/ocaml +DEPRECATED= has been broken for 7 months +EXPIRATION_DATE=2010-01-08 .include <bsd.port.pre.mk> |