# 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 + +