diff options
| author | jgh <jgh@FreeBSD.org> | 2013-03-16 12:59:32 +0800 |
|---|---|---|
| committer | jgh <jgh@FreeBSD.org> | 2013-03-16 12:59:32 +0800 |
| commit | 9b21845cd4904d863cac45abd1f4b72f131b8597 (patch) | |
| tree | 014169e2e783ac28cb92d8a6f5d0ec09f50ccd97 /java/eclipse-webtools | |
| parent | 21a9d8263aa2f98adb909d1f79e9c2ea9dbde5fd (diff) | |
| download | freebsd-ports-gnome-9b21845cd4904d863cac45abd1f4b72f131b8597.tar.gz freebsd-ports-gnome-9b21845cd4904d863cac45abd1f4b72f131b8597.tar.zst freebsd-ports-gnome-9b21845cd4904d863cac45abd1f4b72f131b8597.zip | |
- adopt optionsNG
- trim historical header
Approved by: portmgr (miwi)
Diffstat (limited to 'java/eclipse-webtools')
| -rw-r--r-- | java/eclipse-webtools/Makefile | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/java/eclipse-webtools/Makefile b/java/eclipse-webtools/Makefile index 5a38f946ee8f..2e8025b704d3 100644 --- a/java/eclipse-webtools/Makefile +++ b/java/eclipse-webtools/Makefile @@ -1,9 +1,5 @@ -# New ports collection makefile for: eclipse-webtools -# Date created: October 14, 2005 -# Whom: markhobden@gmail.com -# +# Created by: markhobden@gmail.com # $FreeBSD$ -# PORTNAME= webtools PORTVERSION= 3.3.2 @@ -24,11 +20,13 @@ RUN_DEPENDS= eclipse:${PORTSDIR}/java/eclipse \ WRKSRC= ${WRKDIR}/eclipse USE_ZIP= yes -OPTIONS= DTP "Enable support for EJB and JPT development" on +OPTIONS_DEFINE= DTP +DTP_DEFINE= Support for EJB and JPT development +OPTIONS_DEFAULT= DTP .include <bsd.port.options.mk> -.if defined(WITH_DTP) +.if ${PORT_OPTIONS:MDTP} RUN_DEPENDS+= ${LOCALBASE}/share/eclipse/dropins/datatools:${PORTSDIR}/java/eclipse-datatools .endif |