diff options
| author | miwi <miwi@FreeBSD.org> | 2007-10-17 17:22:03 +0800 |
|---|---|---|
| committer | miwi <miwi@FreeBSD.org> | 2007-10-17 17:22:03 +0800 |
| commit | 380de3ca2620d6bc2aac0beb028f22acc7c2548e (patch) | |
| tree | 055a8dea767282aaea878067fdcfa35a7cc48ef7 /java | |
| parent | 52b7906da77402ca80c042cacd8fb5413af9fa09 (diff) | |
| download | freebsd-ports-gnome-380de3ca2620d6bc2aac0beb028f22acc7c2548e.tar.gz freebsd-ports-gnome-380de3ca2620d6bc2aac0beb028f22acc7c2548e.tar.zst freebsd-ports-gnome-380de3ca2620d6bc2aac0beb028f22acc7c2548e.zip | |
ShellEd is a superb shell script editor for Eclipse. The great benefit of
this plugin is the integration of man page information for content assist
and text hover.
WWW: http://sourceforge.net/projects/shelled
PR: ports/117174
Submitted by: Sutra Zhou <zhoushuqun at gmail.com>
Diffstat (limited to 'java')
| -rw-r--r-- | java/Makefile | 1 | ||||
| -rw-r--r-- | java/eclipse-shelled/Makefile | 44 | ||||
| -rw-r--r-- | java/eclipse-shelled/distinfo | 3 | ||||
| -rw-r--r-- | java/eclipse-shelled/pkg-descr | 5 |
4 files changed, 53 insertions, 0 deletions
diff --git a/java/Makefile b/java/Makefile index 1668fa9ee89f..9cb3125b70dd 100644 --- a/java/Makefile +++ b/java/Makefile @@ -39,6 +39,7 @@ SUBDIR += eclipse-pmd SUBDIR += eclipse-propedit SUBDIR += eclipse-quantum + SUBDIR += eclipse-shelled SUBDIR += eclipse-sqlexplorer SUBDIR += eclipse-sysdeo-tomcat SUBDIR += eclipse-uml diff --git a/java/eclipse-shelled/Makefile b/java/eclipse-shelled/Makefile new file mode 100644 index 000000000000..66f41a4420e8 --- /dev/null +++ b/java/eclipse-shelled/Makefile @@ -0,0 +1,44 @@ +# New ports collection makefile for: eclipse-shelled +# Date created: 14 October 2007 +# Whom: Sutra Zhou <zhoushuqun@gmail.com> +# +# $FreeBSD$ +# + +PORTNAME= ShellEd +PORTVERSION= 1.0.2a +CATEGORIES= java devel +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= shelled +PKGNAMEPREFIX= eclipse- +DISTNAME= shelled_${PORTVERSION} +DIST_SUBDIR= eclipse + +MAINTAINER= zhoushuqun@gmail.com +COMMENT= ShellEd is a superb shell script editor for Eclipse + +RUN_DEPENDS= eclipse:${PORTSDIR}/java/eclipse + +NO_BUILD= yes +NO_WRKSUBDIR= yes +USE_ZIP= yes +USE_JAVA= yes +JAVA_VERSION= 1.4+ +JAVA_OS= native + +do-install: + @${MKDIR} ${WRKSRC}/eclipse + @${MV} ${WRKSRC}/plugins ${WRKSRC}/eclipse/plugins + @${MV} ${WRKSRC}/features ${WRKSRC}/eclipse/features + @${MKDIR} ${PREFIX}/eclipse + @${CP} -r ${WRKSRC}/eclipse/plugins ${PREFIX}/eclipse + @${CP} -r ${WRKSRC}/eclipse/features ${PREFIX}/eclipse + @(cd ${WRKSRC}; ${FIND} -s eclipse/features eclipse/plugins -not -type d) >> ${TMPPLIST} + @(cd ${WRKSRC}; ${FIND} -s -d eclipse/features eclipse/plugins -type d) \ + | ${GREP} -vE 'eclipse/plugins$$|eclipse/features$$' \ + | ${SED} -ne 's,^,@dirrm ,p' >> ${TMPPLIST} + @${MV} ${WRKSRC}/eclipse/plugins ${WRKSRC}/plugins + @${MV} ${WRKSRC}/eclipse/features ${WRKSRC}/features + @${RM} -rf ${WRKSRC}/eclipse + +.include <bsd.port.mk> diff --git a/java/eclipse-shelled/distinfo b/java/eclipse-shelled/distinfo new file mode 100644 index 000000000000..ad8cedbcd1b3 --- /dev/null +++ b/java/eclipse-shelled/distinfo @@ -0,0 +1,3 @@ +MD5 (eclipse/shelled_1.0.2a.zip) = c25058bc8aa1755b3fa84f62eaab2d7f +SHA256 (eclipse/shelled_1.0.2a.zip) = 0da01fed1be9454dcef6c5b9afa5f592d1834bbaa8f1b911caeae191f3d3e0dc +SIZE (eclipse/shelled_1.0.2a.zip) = 4447390 diff --git a/java/eclipse-shelled/pkg-descr b/java/eclipse-shelled/pkg-descr new file mode 100644 index 000000000000..a6a367bfe38d --- /dev/null +++ b/java/eclipse-shelled/pkg-descr @@ -0,0 +1,5 @@ +ShellEd is a superb shell script editor for Eclipse. The great benefit of +this plugin is the integration of man page information for content assist +and text hover. + +WWW: http://sourceforge.net/projects/shelled |