diff options
Diffstat (limited to 'devel/scala-ide/Makefile')
| -rw-r--r-- | devel/scala-ide/Makefile | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/devel/scala-ide/Makefile b/devel/scala-ide/Makefile deleted file mode 100644 index ecb1ced..0000000 --- a/devel/scala-ide/Makefile +++ /dev/null @@ -1,40 +0,0 @@ -# Created by: Alex Dupre <ale@FreeBSD.org> -# $FreeBSD$ - -PORTNAME= scala-ide -DISTVERSION= 3.0.4 -PORTREVISION= 1 -CATEGORIES= devel java -#MASTER_SITES= http://download.scala-ide.org/sdk/e37/scala210/dev/ -MASTER_SITES= http://download.scala-ide.org/sdk/helium/e38/scala211/stable/ -DISTNAME= update-site -DIST_SUBDIR= ${PORTNAME}/${PORTVERSION} - -MAINTAINER= ale@FreeBSD.org -COMMENT= Scala plugin for the Eclipse IDE - -LICENSE= BSD3CLAUSE - -BROKEN= plugin is obsolete or malfunctioning with latest eclipse -DEPRECATED= evaluation recommendation is to remove rather than update -EXPIRATION_DATE= 2015-04-18 - -RUN_DEPENDS= eclipse:${PORTSDIR}/java/eclipse - -OPTIONS_DEFINE= WTP -OPTIONS_DEFAULT=WTP -WTP_DESC= Install Eclipse Web Tools Platform (required for Play2 plug-in) - -USES= zip -NO_BUILD= yes -WRKSRC= ${WRKDIR}/site - -.include <bsd.port.options.mk> - -.if ${PORT_OPTIONS:MWTP} -RUN_DEPENDS+= eclipse-webtools>0:${PORTSDIR}/java/eclipse-webtools -.endif - -.include "${.CURDIR}/../../java/eclipse/Makefile.plugins" - -.include <bsd.port.mk> |
