aboutsummaryrefslogtreecommitdiff
path: root/editors/jext
diff options
context:
space:
mode:
authorSteve Price <steve@FreeBSD.org>2000-05-01 03:12:29 +0000
committerSteve Price <steve@FreeBSD.org>2000-05-01 03:12:29 +0000
commite677f9ddcd1e719b4e36f23840a043ec719e76ce (patch)
tree381c2d5c122fb4bd710ba69a7494e9c76a6266e3 /editors/jext
parent75dc3be125cfbff35968d629ea789d6d707c7e22 (diff)
downloadports-e677f9ddcd1e719b4e36f23840a043ec719e76ce.tar.gz
ports-e677f9ddcd1e719b4e36f23840a043ec719e76ce.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>
Notes
Notes: svn path=/head/; revision=28210
Diffstat (limited to 'editors/jext')
-rw-r--r--editors/jext/Makefile61
-rw-r--r--editors/jext/distinfo1
-rw-r--r--editors/jext/files/patch-aa19
-rw-r--r--editors/jext/pkg-comment1
-rw-r--r--editors/jext/pkg-descr6
-rw-r--r--editors/jext/pkg-plist112
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