diff options
author | steve <steve@FreeBSD.org> | 2000-05-01 11:12:29 +0800 |
---|---|---|
committer | steve <steve@FreeBSD.org> | 2000-05-01 11:12:29 +0800 |
commit | 181fad3761020acbfb0544e9ee54deb30f61ba59 (patch) | |
tree | bdc2a851bb1f7ce4f03355bfa6c8d7f4b94b2b91 /editors | |
parent | d7647f9c6391460906acb97dde3e220fadbd2cc1 (diff) | |
download | freebsd-ports-gnome-181fad3761020acbfb0544e9ee54deb30f61ba59.tar.gz freebsd-ports-gnome-181fad3761020acbfb0544e9ee54deb30f61ba59.tar.zst freebsd-ports-gnome-181fad3761020acbfb0544e9ee54deb30f61ba59.zip |
Adding jext version 2.7.0.6.
Jext is a powerful 100% pure Java text editor. Jext has been mainly designed
for programmers. Thus, Jext provides a lot of useful functions for coders:
syntax colorizing (Perl, XML/HTML, Java, JavaScript), auto indent, methods
seeker for Java, source code formatting and much more...
PR: 17111
Submitted by: Maxim Sobolev <sobomax@altavista.net>
Diffstat (limited to 'editors')
-rw-r--r-- | editors/jext/Makefile | 61 | ||||
-rw-r--r-- | editors/jext/distinfo | 1 | ||||
-rw-r--r-- | editors/jext/files/patch-aa | 19 | ||||
-rw-r--r-- | editors/jext/pkg-comment | 1 | ||||
-rw-r--r-- | editors/jext/pkg-descr | 6 | ||||
-rw-r--r-- | editors/jext/pkg-plist | 112 |
6 files changed, 200 insertions, 0 deletions
diff --git a/editors/jext/Makefile b/editors/jext/Makefile new file mode 100644 index 000000000000..600ccec069e5 --- /dev/null +++ b/editors/jext/Makefile @@ -0,0 +1,61 @@ +# New ports collection makefile for: jext +# Date created: 17 Febrary 2000 +# Whom: Maxim Sobolev <sobomax@altavista.net> +# +# $FreeBSD$ +# + +PORTNAME= jext +PORTVERSION= 2.7.0.6 +CATEGORIES= editors java +MASTER_SITES= http://members.xoom.com/romainguy/jext/ +DISTNAME= ${PORTNAME} + +MAINTAINER= sobomax@altavista.net + +RUN_DEPENDS= ${JAVAVM}:${PORTSDIR}/java/jdk \ + ${JFC}:${PORTSDIR}/java/jfc + +FETCH_BEFORE_ARGS= -b + +WRKSRC= ${WRKDIR} +USE_ZIP= yes +USE_XLIB= yes +NO_BUILD= yes + +JDK_VERSION= 1.1.8 +JFC_VERSION= 1.1.1 +JAVAVM= ${LOCALBASE}/jdk${JDK_VERSION}/bin/java +JFC= ${LOCALBASE}/share/java/classes/jfc-${JFC_VERSION}/swing.jar + +.if defined(USE_JIT) +RUN_DEPENDS+= ${LOCALBASE}/jdk${JDK_VERSION}/lib/${ARCH}/green_threads/libshujit.so:${PORTSDIR}/java/shujit +JAVAJIT= shujit +.else +JAVAJIT= +.endif + +INSTSBDR= ${PREFIX}/share/java/jext +DATATARG= jext.jar icons plugins scripts xtools + +post-extract: + @${PERL} -pi -e "s.\x0D.." ${WRKSRC}/jext + +pre-install: + @${PERL} -pi -e "s|%JAVAVM%|${JAVAVM}|g" ${WRKSRC}/jext + @${PERL} -pi -e "s|%JEXT_HOME%|${INSTSBDR}|g" ${WRKSRC}/jext + @${PERL} -pi -e "s|%JAVAJIT%|${JAVAJIT}|g" ${WRKSRC}/jext + @${PERL} -pi -e "s|%JFC%|${JFC}|g" ${WRKSRC}/jext + +do-install: + @${MKDIR} ${INSTSBDR} + @${INSTALL_SCRIPT} ${WRKSRC}/jext ${PREFIX}/bin + @(cd ${WRKSRC} && ${TAR} -c -f - ${DATATARG}) \ + | (cd ${INSTSBDR} && ${TAR} --unlink -x -f -) +.if !defined(NOPORTDOCS) + @${MKDIR} ${PREFIX}/share/doc/java/jext + @(cd ${WRKSRC}/doc && ${TAR} -c -f - * ) \ + | (cd ${PREFIX}/share/doc/java/jext && ${TAR} --unlink -x -f -) +.endif + +.include <bsd.port.mk> diff --git a/editors/jext/distinfo b/editors/jext/distinfo new file mode 100644 index 000000000000..8bbd3ed484b4 --- /dev/null +++ b/editors/jext/distinfo @@ -0,0 +1 @@ +MD5 (jext.zip) = 7c35664e7fa3dc0f783b9a1e34c4410d diff --git a/editors/jext/files/patch-aa b/editors/jext/files/patch-aa new file mode 100644 index 000000000000..b65732895edb --- /dev/null +++ b/editors/jext/files/patch-aa @@ -0,0 +1,19 @@ +--- jext.orig Wed Mar 1 22:40:49 2000 ++++ jext Wed Mar 1 22:41:16 2000 +@@ -4,11 +4,14 @@ + # This version allows for an install in a central area like /usr/local/jext. + # Set the JEXT_HOME to /usr/local/jext and add this to your PATH. + # Norbert Seidel +- ++JEXT_HOME=%JEXT_HOME% ++CLASSPATH=$CLASSPATH:%JFC%:$JEXT_HOME/jext.jar ++export CLASSPATH ++export JEXT_HOME + # Add links to plugins + if [ ! -d "$HOME/.jext" ]; then + mkdir -p $HOME/.jext/xinsert + ln -s $JEXT_HOME/plugins $HOME/.jext + fi + +-java -ms4m -mx16m -classpath $JEXT_HOME/jext.jar com.chez.powerteam.jext.Jext $* & ++%JAVAVM% -ms4m -mx16m -Djava.compiler=%JAVAJIT% com.chez.powerteam.jext.Jext $* diff --git a/editors/jext/pkg-comment b/editors/jext/pkg-comment new file mode 100644 index 000000000000..70be8a6a72c3 --- /dev/null +++ b/editors/jext/pkg-comment @@ -0,0 +1 @@ +Powerful 100% pure Java text editor diff --git a/editors/jext/pkg-descr b/editors/jext/pkg-descr new file mode 100644 index 000000000000..3c06f9894bda --- /dev/null +++ b/editors/jext/pkg-descr @@ -0,0 +1,6 @@ +Jext is a powerful 100% pure Java text editor. Jext has been mainly designed +for programmers. Thus, Jext provides a lot of useful functions for coders: +syntax colorizing (Perl, XML/HTML, Java, JavaScript), auto indent, methods +seeker for Java, source code formatting and much more... + +WWW: http://www.chez.com/powerteam/jext/ diff --git a/editors/jext/pkg-plist b/editors/jext/pkg-plist new file mode 100644 index 000000000000..633f92ed5713 --- /dev/null +++ b/editors/jext/pkg-plist @@ -0,0 +1,112 @@ +bin/jext +share/doc/java/jext/Copying.txt +share/doc/java/jext/History.txt +share/doc/java/jext/Jext-fr.txt +share/doc/java/jext/Scripts.txt +share/doc/java/jext/index.html +share/doc/java/jext/jext-console.html +share/doc/java/jext/jext-editor.html +share/doc/java/jext/jext-menus-edit.html +share/doc/java/jext/jext-menus-file.html +share/doc/java/jext/jext-menus-jext.html +share/doc/java/jext/jext-menus-plugins.html +share/doc/java/jext/jext-menus-search.html +share/doc/java/jext/jext-menus.html +share/doc/java/jext/jext.gif +share/doc/java/jext/source/bin/bin.txt +share/doc/java/jext/source/dtd/xtiny-doc-page.dtd +share/doc/java/jext/source/dtd/xtiny-doc.dtd +share/doc/java/jext/source/gaia-batch +share/doc/java/jext/source/gaia.bat +share/doc/java/jext/source/xml/index.xml +share/doc/java/jext/source/xml/jext-console.xml +share/doc/java/jext/source/xml/jext-editor.xml +share/doc/java/jext/source/xml/jext-menus-edit.xml +share/doc/java/jext/source/xml/jext-menus-file.xml +share/doc/java/jext/source/xml/jext-menus-jext.xml +share/doc/java/jext/source/xml/jext-menus-plugins.xml +share/doc/java/jext/source/xml/jext-menus-search.xml +share/doc/java/jext/source/xml/jext-menus.xml +share/doc/java/jext/source/xsl/xtiny-doc-page.xsl +share/doc/java/jext/source/xsl/xtiny-doc.xsl +share/doc/java/jext/stylesheet.css +share/java/jext/icons/jext.ico +share/java/jext/icons/jext.xpm +share/java/jext/jext.jar +share/java/jext/plugins/DnD.jar +share/java/jext/plugins/DnD/DnD.props.xml +share/java/jext/plugins/DnD/DnDHandler.java +share/java/jext/plugins/DnD/DnDPlugin.java +share/java/jext/plugins/FastFind.jar +share/java/jext/plugins/FastFind/FastFind.java +share/java/jext/plugins/FastFind/FastFind.props.xml +share/java/jext/plugins/FastFind/FastFindOptions.java +share/java/jext/plugins/FastFind/FastFindPlugin.java +share/java/jext/plugins/FastSyntax.jar +share/java/jext/plugins/FastSyntax/FastSyntax.java +share/java/jext/plugins/FastSyntax/FastSyntax.props.xml +share/java/jext/plugins/FastSyntax/FastSyntaxOptions.java +share/java/jext/plugins/FastSyntax/FastSyntaxPlugin.java +share/java/jext/plugins/HTML.jar +share/java/jext/plugins/HTML/HTML.props.xml +share/java/jext/plugins/HTML/HTMLIndenter.java +share/java/jext/plugins/HTML/HTMLPlugin.java +share/java/jext/plugins/HTML/IndenterOptionPane.java +share/java/jext/plugins/HTML/NextTag.java +share/java/jext/plugins/HTML/PreviousTag.java +share/java/jext/plugins/HTML/ToAccents.java +share/java/jext/plugins/HTML/ToEntities.java +share/java/jext/plugins/HyperTyper.jar +share/java/jext/plugins/HyperTyper/HyperTyper.props.xml +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperAction.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperHotkey.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperMapping.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperMappingGrid.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperObjectManager.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperOption.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperPlugin.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperSequenceList.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperWindowGUI.java +share/java/jext/plugins/HyperTyper/hyperTyper/Sequence.java +share/java/jext/plugins/HyperTyper/hyperTyper/SequenceChangedEvent.java +share/java/jext/plugins/HyperTyper/hyperTyper/SequenceChangedListener.java +share/java/jext/plugins/Java.jar +share/java/jext/plugins/Java/Beautifier.java +share/java/jext/plugins/Java/ClassBrowser.java +share/java/jext/plugins/Java/ClassBrowserGUI.java +share/java/jext/plugins/Java/HTMLViewer.java +share/java/jext/plugins/Java/JSBeautifier.java +share/java/jext/plugins/Java/JSFormatter.java +share/java/jext/plugins/Java/JSLineBreaker.java +share/java/jext/plugins/Java/Java.props.xml +share/java/jext/plugins/Java/JavaPlugin.java +share/java/jext/plugins/Java/MethodsSeeker.java +share/java/jext/plugins/Java/Seeker.java +share/java/jext/plugins/TextMode.jar +share/java/jext/plugins/TextMode/Text.props.xml +share/java/jext/plugins/TextMode/TextMode.java +share/java/jext/plugins/TextMode/TextModePlugin.java +share/java/jext/plugins/TextMode/syntax/TextTokenMarker.java +share/java/jext/scripts/insert_date_at_anchor.jext-script +share/java/jext/scripts/os.jext-script +share/java/jext/xtools/xinsert.dtd +@dirrm share/doc/java/jext/source/bin +@dirrm share/doc/java/jext/source/dtd +@dirrm share/doc/java/jext/source/xml +@dirrm share/doc/java/jext/source/xsl +@dirrm share/doc/java/jext/source +@dirrm share/doc/java/jext +@dirrm share/java/jext/icons +@dirrm share/java/jext/plugins/DnD +@dirrm share/java/jext/plugins/FastFind +@dirrm share/java/jext/plugins/FastSyntax +@dirrm share/java/jext/plugins/HTML +@dirrm share/java/jext/plugins/HyperTyper/hyperTyper +@dirrm share/java/jext/plugins/HyperTyper +@dirrm share/java/jext/plugins/Java +@dirrm share/java/jext/plugins/TextMode/syntax +@dirrm share/java/jext/plugins/TextMode +@dirrm share/java/jext/plugins +@dirrm share/java/jext/scripts +@dirrm share/java/jext/xtools +@dirrm share/java/jext |