# HG changeset patch
# User wenzelm
# Date 1227311487 -3600
# Node ID a94d2fb96fd575b2a0fdfbc642bb52381f5a9bd2
# Parent b74b5e0ff66a31ef4ecec5bbe548dc0fddb80c7a
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/README_BUILD Sat Nov 22 00:51:27 2008 +0100
@@ -13,10 +13,15 @@
http://wiki.netbeans.org/Scala
http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
-* jEdit 4.3pre14 or similar
+* jEdit 4.3pre16 or similar
http://www.jedit.org/
+
Netbeans Library "jEdit" = .../jedit.jar
+ or
+
+ Netbeans Project "jEdit" (see below)
+
* Flying Saucer XHTML renderer
https://xhtmlrenderer.dev.java.net/
Netbeans Library "Flying-Saucer" = .../core-renderer.jar
@@ -25,6 +30,14 @@
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
+Auxiliary projects
+==================
+
+* project "jEdit"
+ . unpack official sources .../jEdit
+ . add content of ./contrib/jEdit
+
+
Running the application within Netbeans
=======================================
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/contrib/jEdit/build-nb.xml
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/contrib/jEdit/build-nb.xml Sat Nov 22 00:51:27 2008 +0100
@@ -0,0 +1,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ This target can only run inside the NetBeans IDE.
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/contrib/jEdit/nbproject/project.xml
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/contrib/jEdit/nbproject/project.xml Sat Nov 22 00:51:27 2008 +0100
@@ -0,0 +1,118 @@
+
+
+ org.netbeans.modules.ant.freeform
+
+
+ jEdit
+
+
+
+ jEdit
+
+ build-nb.xml
+
+
+
+
+ .
+ UTF-8
+
+
+
+ java
+ .
+ build/** doc/** icons/** macros/** modes/** package-files/**
+ UTF-8
+
+
+
+
+
+ build
+
+
+
+ clean
+
+
+
+ docs-javadoc
+
+
+
+ run
+
+
+
+ clean
+ build
+
+
+
+ debug-nb
+
+
+
+ jar
+ build/jEdit.jar
+
+ build
+
+
+
+
+
+ .
+ build/** doc/** icons/** macros/** modes/** package-files/**
+
+
+ ${ant.script}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ .
+ .
+ build/jEdit.jar
+ 1.5
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/nbproject/build-impl.xml
--- a/src/Tools/jEdit/nbproject/build-impl.xml Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/nbproject/build-impl.xml Sat Nov 22 00:51:27 2008 +0100
@@ -383,7 +383,9 @@
COMPILATION SECTION
===================
-->
-
+
+
+
@@ -685,7 +687,9 @@
CLEANUP SECTION
===============
-->
-
+
+
+
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/nbproject/genfiles.properties
--- a/src/Tools/jEdit/nbproject/genfiles.properties Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/nbproject/genfiles.properties Sat Nov 22 00:51:27 2008 +0100
@@ -3,6 +3,6 @@
build.xml.stylesheet.CRC32=ca9d572e
# This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
# Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
-nbproject/build-impl.xml.data.CRC32=d2379ac2
-nbproject/build-impl.xml.script.CRC32=2f754fcd
+nbproject/build-impl.xml.data.CRC32=8f41dcce
+nbproject/build-impl.xml.script.CRC32=828f71d1
nbproject/build-impl.xml.stylesheet.CRC32=2aa5193a
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/nbproject/project.properties
--- a/src/Tools/jEdit/nbproject/project.properties Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/nbproject/project.properties Sat Nov 22 00:51:27 2008 +0100
@@ -30,8 +30,8 @@
jar.compress=false
java.platform.active=java_default_platform
javac.classpath=\
- ${libs.jEdit.classpath}:\
${libs.Flying-Saucer.classpath}:\
+ ${reference.jEdit.build}:\
${libs.Isabelle-Pure.classpath}
# Space-separated list of extra javac options
javac.compilerargs=
@@ -58,6 +58,8 @@
manifest.file=manifest.mf
meta.inf.dir=${src.dir}/META-INF
platform.active=default_platform
+project.jEdit=contrib/jEdit
+reference.jEdit.build=${project.jEdit}/build/jEdit.jar
run.classpath=\
${javac.classpath}:\
${build.classes.dir}
diff -r b74b5e0ff66a -r a94d2fb96fd5 src/Tools/jEdit/nbproject/project.xml
--- a/src/Tools/jEdit/nbproject/project.xml Wed Nov 19 20:51:27 2008 +0100
+++ b/src/Tools/jEdit/nbproject/project.xml Sat Nov 22 00:51:27 2008 +0100
@@ -10,5 +10,15 @@
+
+
+ jEdit
+ jar
+
+ build
+ clean
+ build
+
+