mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
edb0d29c16
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>
45 lines
1.3 KiB
Makefile
45 lines
1.3 KiB
Makefile
# 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>
|