1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/Tools/isac/jEdit/nbproject/build-impl.xml~ Sat Feb 26 12:53:00 2011 +0100
1.3 @@ -0,0 +1,707 @@
1.4 +<?xml version="1.0" encoding="UTF-8"?>
1.5 +<!--
1.6 +*** GENERATED FROM project.xml - DO NOT EDIT ***
1.7 +*** EDIT ../build.xml INSTEAD ***
1.8 +
1.9 +For the purpose of easier reading the script
1.10 +is divided into following sections:
1.11 +
1.12 + - initialization
1.13 + - compilation
1.14 + - jar
1.15 + - execution
1.16 + - debugging
1.17 + - javadoc
1.18 + - junit compilation
1.19 + - junit execution
1.20 + - junit debugging
1.21 + - applet
1.22 + - cleanup
1.23 +
1.24 +
1.25 + -->
1.26 +<project xmlns:jaxrpc="http://www.netbeans.org/ns/scala-project/jax-rpc" xmlns:scalaProject1="http://www.netbeans.org/ns/scala-project/1" basedir=".." default="default" name="Isabelle-jEdit-impl">
1.27 + <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
1.28 + <!--
1.29 + ======================
1.30 + INITIALIZATION SECTION
1.31 + ======================
1.32 + -->
1.33 + <target name="-pre-init">
1.34 + <!-- Empty placeholder for easier customization. -->
1.35 + <!-- You can override this target in the ../build.xml file. -->
1.36 + </target>
1.37 + <target depends="-pre-init" name="-init-private">
1.38 + <property file="nbproject/private/config.properties"/>
1.39 + <property file="nbproject/private/configs/${config}.properties"/>
1.40 + <property file="nbproject/private/private.properties"/>
1.41 + <property environment="env"/>
1.42 + <condition property="scala.home" value="${env.SCALA_HOME}">
1.43 + <isset property="env.SCALA_HOME"/>
1.44 + </condition>
1.45 + <fail unless="scala.home">
1.46 + You must set SCALA_HOME or environment property and append "-J-Dscala.home=scalahomepath"
1.47 + property to the end of "netbeans_default_options" in NetBeansInstallationPath/etc/netbeans.conf to point to
1.48 + Scala installation directory.
1.49 + </fail>
1.50 + <property name="scala.compiler" value="${scala.home}/lib/scala-compiler.jar"/>
1.51 + <property name="scala.library" value="${scala.home}/lib/scala-library.jar"/>
1.52 + <property name="scala.lib" value="${scala.home}/lib"/>
1.53 + <taskdef resource="scala/tools/ant/antlib.xml">
1.54 + <classpath>
1.55 + <pathelement location="${scala.compiler}"/>
1.56 + <pathelement location="${scala.library}"/>
1.57 + </classpath>
1.58 + </taskdef>
1.59 + </target>
1.60 + <target depends="-pre-init,-init-private" name="-init-user">
1.61 + <property file="${user.properties.file}"/>
1.62 + <!-- The two properties below are usually overridden -->
1.63 + <!-- by the active platform. Just a fallback. -->
1.64 + <property name="default.javac.source" value="1.5"/>
1.65 + <property name="default.javac.target" value="1.5"/>
1.66 + </target>
1.67 + <target depends="-pre-init,-init-private,-init-user" name="-init-project">
1.68 + <property file="nbproject/configs/${config}.properties"/>
1.69 + <property file="nbproject/project.properties"/>
1.70 + </target>
1.71 + <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
1.72 + <available file="${manifest.file}" property="manifest.available"/>
1.73 + <condition property="manifest.available+main.class">
1.74 + <and>
1.75 + <isset property="manifest.available"/>
1.76 + <isset property="main.class"/>
1.77 + <not>
1.78 + <equals arg1="${main.class}" arg2="" trim="true"/>
1.79 + </not>
1.80 + </and>
1.81 + </condition>
1.82 + <condition property="manifest.available+main.class+mkdist.available">
1.83 + <and>
1.84 + <istrue value="${manifest.available+main.class}"/>
1.85 + <isset property="libs.CopyLibs.classpath"/>
1.86 + </and>
1.87 + </condition>
1.88 + <condition property="have.tests">
1.89 + <or/>
1.90 + </condition>
1.91 + <condition property="have.sources">
1.92 + <or>
1.93 + <available file="${src.dir}"/>
1.94 + </or>
1.95 + </condition>
1.96 + <condition property="netbeans.home+have.tests">
1.97 + <and>
1.98 + <isset property="netbeans.home"/>
1.99 + <isset property="have.tests"/>
1.100 + </and>
1.101 + </condition>
1.102 + <condition property="no.javadoc.preview">
1.103 + <and>
1.104 + <isset property="javadoc.preview"/>
1.105 + <isfalse value="${javadoc.preview}"/>
1.106 + </and>
1.107 + </condition>
1.108 + <property name="run.jvmargs" value=""/>
1.109 + <property name="javac.compilerargs" value=""/>
1.110 + <property name="work.dir" value="${basedir}"/>
1.111 + <condition property="no.deps">
1.112 + <and>
1.113 + <istrue value="${no.dependencies}"/>
1.114 + </and>
1.115 + </condition>
1.116 + <property name="javac.debug" value="true"/>
1.117 + <property name="javadoc.preview" value="true"/>
1.118 + <property name="application.args" value=""/>
1.119 + <property name="source.encoding" value="${file.encoding}"/>
1.120 + <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
1.121 + <and>
1.122 + <isset property="javadoc.encoding"/>
1.123 + <not>
1.124 + <equals arg1="${javadoc.encoding}" arg2=""/>
1.125 + </not>
1.126 + </and>
1.127 + </condition>
1.128 + <property name="javadoc.encoding.used" value="${source.encoding}"/>
1.129 + <property name="includes" value="**"/>
1.130 + <property name="excludes" value=""/>
1.131 + <property name="extdirs" value=" "/>
1.132 + <property name="do.depend" value="false"/>
1.133 + <condition property="do.depend.true">
1.134 + <istrue value="${do.depend}"/>
1.135 + </condition>
1.136 + <condition else="" property="javac.compilerargs.jaxws" value="-Djava.endorsed.dirs='${jaxws.endorsed.dir}'">
1.137 + <and>
1.138 + <isset property="jaxws.endorsed.dir"/>
1.139 + <available file="nbproject/jaxws-build.xml"/>
1.140 + </and>
1.141 + </condition>
1.142 + </target>
1.143 + <target name="-post-init">
1.144 + <!-- Empty placeholder for easier customization. -->
1.145 + <!-- You can override this target in the ../build.xml file. -->
1.146 + </target>
1.147 + <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
1.148 + <fail unless="src.dir">Must set src.dir</fail>
1.149 + <fail unless="build.dir">Must set build.dir</fail>
1.150 + <fail unless="dist.dir">Must set dist.dir</fail>
1.151 + <fail unless="build.classes.dir">Must set build.classes.dir</fail>
1.152 + <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
1.153 + <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
1.154 + <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
1.155 + <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
1.156 + <fail unless="dist.jar">Must set dist.jar</fail>
1.157 + </target>
1.158 + <target name="-init-macrodef-property">
1.159 + <macrodef name="property" uri="http://www.netbeans.org/ns/scala-project/1">
1.160 + <attribute name="name"/>
1.161 + <attribute name="value"/>
1.162 + <sequential>
1.163 + <property name="@{name}" value="${@{value}}"/>
1.164 + </sequential>
1.165 + </macrodef>
1.166 + </target>
1.167 + <target name="-init-macrodef-javac">
1.168 + <macrodef name="javac" uri="http://www.netbeans.org/ns/scala-project/1">
1.169 + <attribute default="${src.dir}" name="srcdir"/>
1.170 + <attribute default="${build.classes.dir}" name="destdir"/>
1.171 + <attribute default="${javac.classpath}" name="classpath"/>
1.172 + <attribute default="${includes}" name="includes"/>
1.173 + <attribute default="${excludes}" name="excludes"/>
1.174 + <attribute default="${javac.debug}" name="debug"/>
1.175 + <attribute default="" name="sourcepath"/>
1.176 + <element name="customize" optional="true"/>
1.177 + <sequential>
1.178 + <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}">
1.179 + <classpath>
1.180 + <path path="@{classpath}"/>
1.181 + <fileset dir="${scala.lib}">
1.182 + <include name="**/*.jar"/>
1.183 + </fileset>
1.184 + </classpath>
1.185 + <compilerarg line="${javac.compilerargs} ${javac.compilerargs.jaxws}"/>
1.186 + <customize/>
1.187 + </javac>
1.188 + </sequential>
1.189 + </macrodef>
1.190 + <macrodef name="depend" uri="http://www.netbeans.org/ns/scala-project/1">
1.191 + <attribute default="${src.dir}" name="srcdir"/>
1.192 + <attribute default="${build.classes.dir}" name="destdir"/>
1.193 + <attribute default="${javac.classpath}" name="classpath"/>
1.194 + <sequential>
1.195 + <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
1.196 + <classpath>
1.197 + <path>
1.198 + <pathelement path="@{classpath}"/>
1.199 + <fileset dir="${scala.lib}">
1.200 + <include name="**/*.jar"/>
1.201 + </fileset>
1.202 + <pathelement location="${build.classes.dir}"/>
1.203 + </path>
1.204 + </classpath>
1.205 + </depend>
1.206 + </sequential>
1.207 + </macrodef>
1.208 + <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
1.209 + <attribute default="${build.classes.dir}" name="destdir"/>
1.210 + <sequential>
1.211 + <fail unless="javac.includes">Must set javac.includes</fail>
1.212 + <pathconvert pathsep="," property="javac.includes.binary">
1.213 + <path>
1.214 + <filelist dir="@{destdir}" files="${javac.includes}"/>
1.215 + </path>
1.216 + <globmapper from="*.java" to="*.class"/>
1.217 + </pathconvert>
1.218 + <delete>
1.219 + <files includes="${javac.includes.binary}"/>
1.220 + </delete>
1.221 + </sequential>
1.222 + </macrodef>
1.223 + </target>
1.224 + <target name="-init-macrodef-scalac">
1.225 + <macrodef name="scalac" uri="http://www.netbeans.org/ns/scala-project/1">
1.226 + <attribute default="${src.dir}" name="srcdir"/>
1.227 + <attribute default="${build.classes.dir}" name="destdir"/>
1.228 + <attribute default="${javac.classpath}" name="classpath"/>
1.229 + <attribute default="${extdirs}" name="extdirs"/>
1.230 + <attribute default="${includes}" name="includes"/>
1.231 + <attribute default="${excludes}" name="excludes"/>
1.232 + <attribute default="${scalac.compilerargs}" name="addparams"/>
1.233 + <attribute default="" name="sourcepath"/>
1.234 + <element name="customize" optional="true"/>
1.235 + <sequential>
1.236 + <scalac addparams="-make:transitive -dependencyfile "${basedir}/${build.dir}/.scala_dependencies" @{addparams}" deprecation="${scalac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" extdirs="@{extdirs}" force="yes" fork="true" includes="@{includes}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="jvm-1.5" unchecked="${scalac.unchecked}">
1.237 + <classpath>
1.238 + <path>
1.239 + <pathelement path="@{classpath}"/>
1.240 + <fileset dir="${scala.lib}">
1.241 + <include name="**/*.jar"/>
1.242 + </fileset>
1.243 + <pathelement location="${build.classes.dir}"/>
1.244 + </path>
1.245 + </classpath>
1.246 + <customize/>
1.247 + </scalac>
1.248 + </sequential>
1.249 + </macrodef>
1.250 + <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
1.251 + <attribute default="${build.classes.dir}" name="destdir"/>
1.252 + <sequential>
1.253 + <fail unless="javac.includes">Must set javac.includes</fail>
1.254 + <pathconvert pathsep="," property="javac.includes.binary">
1.255 + <path>
1.256 + <filelist dir="@{destdir}" files="${javac.includes}"/>
1.257 + </path>
1.258 + <globmapper from="*.scala" to="*.class"/>
1.259 + </pathconvert>
1.260 + <delete>
1.261 + <files includes="${javac.includes.binary}"/>
1.262 + </delete>
1.263 + </sequential>
1.264 + </macrodef>
1.265 + </target>
1.266 + <target name="-init-macrodef-junit">
1.267 + <macrodef name="junit" uri="http://www.netbeans.org/ns/scala-project/1">
1.268 + <attribute default="${includes}" name="includes"/>
1.269 + <attribute default="${excludes}" name="excludes"/>
1.270 + <attribute default="**" name="testincludes"/>
1.271 + <sequential>
1.272 + <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true">
1.273 + <batchtest todir="${build.test.results.dir}">
1.274 + <fileset dir="${build.test.classes.dir}" excludes="@{excludes},${excludes}" includes="@{includes}">
1.275 + <filename name="@{testincludes}"/>
1.276 + </fileset>
1.277 + </batchtest>
1.278 + <classpath>
1.279 + <path path="${run.test.classpath}"/>
1.280 + <fileset dir="${scala.lib}">
1.281 + <include name="**/*.jar"/>
1.282 + </fileset>
1.283 + </classpath>
1.284 + <syspropertyset>
1.285 + <propertyref prefix="test-sys-prop."/>
1.286 + <mapper from="test-sys-prop.*" to="*" type="glob"/>
1.287 + </syspropertyset>
1.288 + <formatter type="brief" usefile="false"/>
1.289 + <formatter type="xml"/>
1.290 + <jvmarg line="${run.jvmargs}"/>
1.291 + </junit>
1.292 + </sequential>
1.293 + </macrodef>
1.294 + </target>
1.295 + <target name="-init-macrodef-nbjpda">
1.296 + <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/scala-project/1">
1.297 + <attribute default="${main.class}" name="name"/>
1.298 + <attribute default="${debug.classpath}" name="classpath"/>
1.299 + <attribute default="" name="stopclassname"/>
1.300 + <sequential>
1.301 + <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="dt_socket">
1.302 + <classpath>
1.303 + <path path="@{classpath}"/>
1.304 + </classpath>
1.305 + </nbjpdastart>
1.306 + </sequential>
1.307 + </macrodef>
1.308 + <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/scala-project/1">
1.309 + <attribute default="${build.classes.dir}" name="dir"/>
1.310 + <sequential>
1.311 + <nbjpdareload>
1.312 + <fileset dir="@{dir}" includes="${fix.includes}*.class"/>
1.313 + </nbjpdareload>
1.314 + </sequential>
1.315 + </macrodef>
1.316 + </target>
1.317 + <target name="-init-debug-args">
1.318 + <property name="version-output" value="java version "${ant.java.version}"/>
1.319 + <condition property="have-jdk-older-than-1.4">
1.320 + <or>
1.321 + <contains string="${version-output}" substring="java version "1.0"/>
1.322 + <contains string="${version-output}" substring="java version "1.1"/>
1.323 + <contains string="${version-output}" substring="java version "1.2"/>
1.324 + <contains string="${version-output}" substring="java version "1.3"/>
1.325 + </or>
1.326 + </condition>
1.327 + <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
1.328 + <istrue value="${have-jdk-older-than-1.4}"/>
1.329 + </condition>
1.330 + </target>
1.331 + <target depends="-init-debug-args" name="-init-macrodef-debug">
1.332 + <macrodef name="debug" uri="http://www.netbeans.org/ns/scala-project/1">
1.333 + <attribute default="${main.class}" name="classname"/>
1.334 + <attribute default="${debug.classpath}" name="classpath"/>
1.335 + <element name="customize" optional="true"/>
1.336 + <sequential>
1.337 + <java classname="@{classname}" dir="${work.dir}" fork="true">
1.338 + <jvmarg line="${debug-args-line}"/>
1.339 + <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
1.340 + <jvmarg line="${run.jvmargs}"/>
1.341 + <classpath>
1.342 + <path path="@{classpath}"/>
1.343 + <fileset dir="${scala.lib}">
1.344 + <include name="**/*.jar"/>
1.345 + </fileset>
1.346 + </classpath>
1.347 + <syspropertyset>
1.348 + <propertyref prefix="run-sys-prop."/>
1.349 + <mapper from="run-sys-prop.*" to="*" type="glob"/>
1.350 + </syspropertyset>
1.351 + <customize/>
1.352 + </java>
1.353 + </sequential>
1.354 + </macrodef>
1.355 + </target>
1.356 + <target name="-init-macrodef-java">
1.357 + <macrodef name="java" uri="http://www.netbeans.org/ns/scala-project/1">
1.358 + <attribute default="${main.class}" name="classname"/>
1.359 + <element name="customize" optional="true"/>
1.360 + <sequential>
1.361 + <java classname="@{classname}" dir="${work.dir}" fork="true">
1.362 + <jvmarg line="${run.jvmargs}"/>
1.363 + <classpath>
1.364 + <path path="${run.classpath}"/>
1.365 + <fileset dir="${scala.lib}">
1.366 + <include name="**/*.jar"/>
1.367 + </fileset>
1.368 + </classpath>
1.369 + <syspropertyset>
1.370 + <propertyref prefix="run-sys-prop."/>
1.371 + <mapper from="run-sys-prop.*" to="*" type="glob"/>
1.372 + </syspropertyset>
1.373 + <customize/>
1.374 + </java>
1.375 + </sequential>
1.376 + </macrodef>
1.377 + </target>
1.378 + <target name="-init-presetdef-jar">
1.379 + <presetdef name="jar" uri="http://www.netbeans.org/ns/scala-project/1">
1.380 + <jar compress="${jar.compress}" jarfile="${dist.jar}">
1.381 + <scalaProject1:fileset dir="${build.classes.dir}"/>
1.382 + </jar>
1.383 + </presetdef>
1.384 + </target>
1.385 + <target depends="-pre-init,-init-private ,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-scalac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
1.386 + <!--
1.387 + ===================
1.388 + COMPILATION SECTION
1.389 + ===================
1.390 + -->
1.391 + <target depends="init" name="deps-jar" unless="no.deps">
1.392 + <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="build"/>
1.393 + </target>
1.394 + <target depends="init,deps-jar" name="-pre-pre-compile">
1.395 + <mkdir dir="${build.classes.dir}"/>
1.396 + </target>
1.397 + <target name="-pre-compile">
1.398 + <!-- Empty placeholder for easier customization. -->
1.399 + <!-- You can override this target in the ../build.xml file. -->
1.400 + </target>
1.401 + <target if="do.depend.true" name="-compile-depend">
1.402 + <scalaProject1:depend/>
1.403 + </target>
1.404 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
1.405 + <scalaProject1:scalac/>
1.406 + <scalaProject1:javac/>
1.407 + <copy todir="${build.classes.dir}">
1.408 + <fileset dir="${src.dir}" excludes="${build.classes.excludes},${excludes} " includes="${includes}"/>
1.409 + </copy>
1.410 + </target>
1.411 + <target name="-post-compile">
1.412 + <!-- Empty placeholder for easier customization. -->
1.413 + <!-- You can override this target in the ../build.xml file. -->
1.414 + </target>
1.415 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
1.416 + <target name="-pre-compile-single">
1.417 + <!-- Empty placeholder for easier customization. -->
1.418 + <!-- You can override this target in the ../build.xml file. -->
1.419 + </target>
1.420 + <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
1.421 + <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
1.422 + <scalaProject1:force-recompile/>
1.423 + <scalaProject1:scalac excludes="" includes="${javac.includes}" sourcepath="${src.dir}"/>
1.424 + </target>
1.425 + <target name="-post-compile-single">
1.426 + <!-- Empty placeholder for easier customization. -->
1.427 + <!-- You can override this target in the ../build.xml file. -->
1.428 + </target>
1.429 + <target depends="init,deps-jar,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
1.430 + <!--
1.431 + ====================
1.432 + JAR BUILDING SECTION
1.433 + ====================
1.434 + -->
1.435 + <target depends="init" name="-pre-pre-jar">
1.436 + <dirname file="${dist.jar}" property="dist.jar.dir"/>
1.437 + <mkdir dir="${dist.jar.dir}"/>
1.438 + </target>
1.439 + <target name="-pre-jar">
1.440 + <!-- Empty placeholder for easier customization. -->
1.441 + <!-- You can override this target in the ../build.xml file. -->
1.442 + </target>
1.443 + <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available">
1.444 + <scalaProject1:jar/>
1.445 + </target>
1.446 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class">
1.447 + <scalaProject1:jar manifest="${manifest.file}"/>
1.448 + </target>
1.449 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class" name="-do-jar-with-mainclass" unless="manifest.available+main.class+mkdist.available">
1.450 + <scalaProject1:jar manifest="${manifest.file}">
1.451 + <scalaProject1:manifest>
1.452 + <scalaProject1:attribute name="Main-Class" value="${main.class}"/>
1.453 + </scalaProject1:manifest>
1.454 + </scalaProject1:jar>
1.455 + <echo>To run this application from the command line without Ant, try:</echo>
1.456 + <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
1.457 + <property location="${dist.jar}" name="dist.jar.resolved"/>
1.458 + <pathconvert property="run.classpath.with.dist.jar">
1.459 + <path path="${run.classpath}"/>
1.460 + <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
1.461 + </pathconvert>
1.462 + <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}
1.463 + </echo>
1.464 + </target>
1.465 + <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
1.466 + <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
1.467 + <pathconvert property="run.classpath.without.build.classes.dir">
1.468 + <path path="${run.classpath}"/>
1.469 + <map from="${build.classes.dir.resolved}" to=""/>
1.470 + </pathconvert>
1.471 + <pathconvert pathsep=" " property="jar.classpath">
1.472 + <path path="${run.classpath.without.build.classes.dir}"/>
1.473 + <chainedmapper>
1.474 + <flattenmapper/>
1.475 + <globmapper from="*" to="lib/*"/>
1.476 + </chainedmapper>
1.477 + </pathconvert>
1.478 + <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
1.479 + <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
1.480 + <fileset dir="${build.classes.dir}"/>
1.481 + <manifest>
1.482 + <attribute name="Main-Class" value="${main.class}"/>
1.483 + <attribute name="Class-Path" value="${jar.classpath}"/>
1.484 + </manifest>
1.485 + </copylibs>
1.486 + <echo>To run this application from the command line without Ant, try:</echo>
1.487 + <property location="${dist.jar}" name="dist.jar.resolved"/>
1.488 + <echo>java -jar "${dist.jar.resolved}"
1.489 + </echo>
1.490 + </target>
1.491 + <target name="-post-jar">
1.492 + <!-- Empty placeholder for easier customization. -->
1.493 + <!-- You can override this target in the ../build.xml file. -->
1.494 + </target>
1.495 + <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-post-jar" description="Build JAR." name="jar"/>
1.496 + <!--
1.497 + =================
1.498 + EXECUTION SECTION
1.499 + =================
1.500 + -->
1.501 + <target depends="init,compile" description="Run a main class." name="run">
1.502 + <scalaProject1:java>
1.503 + <customize>
1.504 + <arg line="${application.args}"/>
1.505 + </customize>
1.506 + </scalaProject1:java>
1.507 + </target>
1.508 + <target name="-do-not-recompile">
1.509 + <property name="javac.includes.binary" value=""/>
1.510 + </target>
1.511 + <target depends="init,-do-not-recompile,compile-single" name="run-single">
1.512 + <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
1.513 + <scalaProject1:java classname="${run.class}"/>
1.514 + </target>
1.515 + <!--
1.516 + =================
1.517 + DEBUGGING SECTION
1.518 + =================
1.519 + -->
1.520 + <target depends="init" if="netbeans.home" name="-debug-start-debugger">
1.521 + <scalaProject1:nbjpdastart name="${debug.class}"/>
1.522 + </target>
1.523 + <target depends="init,compile" name="-debug-start-debuggee">
1.524 + <scalaProject1:debug>
1.525 + <customize>
1.526 + <arg line="${application.args}"/>
1.527 + </customize>
1.528 + </scalaProject1:debug>
1.529 + </target>
1.530 + <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/>
1.531 + <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto">
1.532 + <scalaProject1:nbjpdastart stopclassname="${main.class}"/>
1.533 + </target>
1.534 + <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/>
1.535 + <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single">
1.536 + <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
1.537 + <scalaProject1:debug classname="${debug.class}"/>
1.538 + </target>
1.539 + <target depends="init,-do-not-recompile,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/>
1.540 + <target depends="init" name="-pre-debug-fix">
1.541 + <fail unless="fix.includes">Must set fix.includes</fail>
1.542 + <property name="javac.includes" value="${fix.includes}.java"/>
1.543 + </target>
1.544 + <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix">
1.545 + <scalaProject1:nbjpdareload/>
1.546 + </target>
1.547 + <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/>
1.548 + <!--
1.549 + ===============
1.550 + JAVADOC SECTION
1.551 + ===============
1.552 + -->
1.553 + <target depends="init" name="-javadoc-build">
1.554 + <mkdir dir="${dist.javadoc.dir}"/>
1.555 + <scaladoc addparams="${javadoc.additionalparam}" deprecation="yes" destdir="${dist.javadoc.dir}" doctitle="${javadoc.windowtitle}" encoding="${javadoc.encoding.used}" srcdir="${src.dir}" unchecked="yes">
1.556 + <classpath>
1.557 + <path path="${javac.classpath}"/>
1.558 + <fileset dir="${scala.lib}">
1.559 + <include name="**/*.jar"/>
1.560 + </fileset>
1.561 + </classpath>
1.562 + </scaladoc>
1.563 + </target>
1.564 + <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview">
1.565 + <nbbrowse file="${dist.javadoc.dir}/index.html"/>
1.566 + </target>
1.567 + <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/>
1.568 + <!--
1.569 + =========================
1.570 + JUNIT COMPILATION SECTION
1.571 + =========================
1.572 + -->
1.573 + <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test">
1.574 + <mkdir dir="${build.test.classes.dir}"/>
1.575 + </target>
1.576 + <target name="-pre-compile-test">
1.577 + <!-- Empty placeholder for easier customization. -->
1.578 + <!-- You can override this target in the ../build.xml file. -->
1.579 + </target>
1.580 + <target if="do.depend.true" name="-compile-test-depend">
1.581 + <scalaProject1:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
1.582 + </target>
1.583 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test">
1.584 + <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
1.585 + <copy todir="${build.test.classes.dir}"/>
1.586 + </target>
1.587 + <target name="-post-compile-test">
1.588 + <!-- Empty placeholder for easier customization. -->
1.589 + <!-- You can override this target in the ../build.xml file. -->
1.590 + </target>
1.591 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/>
1.592 + <target name="-pre-compile-test-single">
1.593 + <!-- Empty placeholder for easier customization. -->
1.594 + <!-- You can override this target in the ../build.xml file. -->
1.595 + </target>
1.596 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single">
1.597 + <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
1.598 + <scalaProject1:force-recompile destdir="${build.test.classes.dir}"/>
1.599 + <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="" srcdir=""/>
1.600 + <copy todir="${build.test.classes.dir}"/>
1.601 + </target>
1.602 + <target name="-post-compile-test-single">
1.603 + <!-- Empty placeholder for easier customization. -->
1.604 + <!-- You can override this target in the ../build.xml file. -->
1.605 + </target>
1.606 + <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/>
1.607 + <!--
1.608 + =======================
1.609 + JUNIT EXECUTION SECTION
1.610 + =======================
1.611 + -->
1.612 + <target depends="init" if="have.tests" name="-pre-test-run">
1.613 + <mkdir dir="${build.test.results.dir}"/>
1.614 + </target>
1.615 + <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run">
1.616 + <scalaProject1:junit testincludes="**/*Test.class"/>
1.617 + </target>
1.618 + <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run">
1.619 + <fail if="tests.failed">Some tests failed; see details above.</fail>
1.620 + </target>
1.621 + <target depends="init" if="have.tests" name="test-report"/>
1.622 + <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/>
1.623 + <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/>
1.624 + <target depends="init" if="have.tests" name="-pre-test-run-single">
1.625 + <mkdir dir="${build.test.results.dir}"/>
1.626 + </target>
1.627 + <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single">
1.628 + <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail>
1.629 + <scalaProject1:junit excludes="" includes="${test.includes}"/>
1.630 + </target>
1.631 + <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single">
1.632 + <fail if="tests.failed">Some tests failed; see details above.</fail>
1.633 + </target>
1.634 + <target depends="init,-do-not-recompile,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/>
1.635 + <!--
1.636 + =======================
1.637 + JUNIT DEBUGGING SECTION
1.638 + =======================
1.639 + -->
1.640 + <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test">
1.641 + <fail unless="test.class">Must select one file in the IDE or set test.class</fail>
1.642 + <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/>
1.643 + <delete file="${test.report.file}"/>
1.644 + <mkdir dir="${build.test.results.dir}"/>
1.645 + <scalaProject1:debug classname="org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner" classpath="${ant.home}/lib/ant.jar:${ant.home}/lib/ant-junit.jar:${debug.test.classpath}">
1.646 + <customize>
1.647 + <syspropertyset>
1.648 + <propertyref prefix="test-sys-prop."/>
1.649 + <mapper from="test-sys-prop.*" to="*" type="glob"/>
1.650 + </syspropertyset>
1.651 + <arg value="${test.class}"/>
1.652 + <arg value="showoutput=true"/>
1.653 + <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/>
1.654 + <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/>
1.655 + </customize>
1.656 + </scalaProject1:debug>
1.657 + </target>
1.658 + <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test">
1.659 + <scalaProject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/>
1.660 + </target>
1.661 + <target depends="init,-do-not-recompile,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/>
1.662 + <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test">
1.663 + <scalaProject1:nbjpdareload dir="${build.test.classes.dir}"/>
1.664 + </target>
1.665 + <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/>
1.666 + <!--
1.667 + =========================
1.668 + APPLET EXECUTION SECTION
1.669 + =========================
1.670 + -->
1.671 + <target depends="init,compile-single" name="run-applet">
1.672 + <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
1.673 + <scalaProject1:java classname="sun.applet.AppletViewer">
1.674 + <customize>
1.675 + <arg value="${applet.url}"/>
1.676 + </customize>
1.677 + </scalaProject1:java>
1.678 + </target>
1.679 + <!--
1.680 + =========================
1.681 + APPLET DEBUGGING SECTION
1.682 + =========================
1.683 + -->
1.684 + <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet">
1.685 + <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
1.686 + <scalaProject1:debug classname="sun.applet.AppletViewer">
1.687 + <customize>
1.688 + <arg value="${applet.url}"/>
1.689 + </customize>
1.690 + </scalaProject1:debug>
1.691 + </target>
1.692 + <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/>
1.693 + <!--
1.694 + ===============
1.695 + CLEANUP SECTION
1.696 + ===============
1.697 + -->
1.698 + <target depends="init" name="deps-clean" unless="no.deps">
1.699 + <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="clean"/>
1.700 + </target>
1.701 + <target depends="init" name="-do-clean">
1.702 + <delete dir="${build.dir}"/>
1.703 + <delete dir="${dist.dir}"/>
1.704 + </target>
1.705 + <target name="-post-clean">
1.706 + <!-- Empty placeholder for easier customization. -->
1.707 + <!-- You can override this target in the ../build.xml file. -->
1.708 + </target>
1.709 + <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/>
1.710 +</project>
2.1 --- a/src/Tools/jEdit/build.xml Sat Feb 26 12:49:40 2011 +0100
2.2 +++ b/src/Tools/jEdit/build.xml Sat Feb 26 12:53:00 2011 +0100
2.3 @@ -2,7 +2,7 @@
2.4 <!-- You may freely edit this file. See commented blocks below for -->
2.5 <!-- some examples of how to customize the build. -->
2.6 <!-- (If you delete it and reopen the project it will be recreated.) -->
2.7 -<project name="Isabelle-jEdit" default="default" basedir=".">
2.8 +<project name="Isac" default="default" basedir=".">
2.9 <description>Builds, tests, and runs the project Isabelle-jEdit.</description>
2.10 <import file="nbproject/build-impl.xml"/>
2.11 <!--
2.12 @@ -66,9 +66,9 @@
2.13 nbproject/build-impl.xml file.
2.14
2.15 -->
2.16 - <target name="run" depends="Isabelle-jEdit-impl.jar,Isabelle-jEdit-impl.run">
2.17 + <target name="run" depends="Isac-impl.jar,Isac-impl.run">
2.18 </target>
2.19 - <target name="debug" depends="Isabelle-jEdit-impl.jar,Isabelle-jEdit-impl.debug">
2.20 + <target name="debug" depends="Isac-impl.jar,Isac-impl.debug">
2.21 </target>
2.22 <target name="-pre-jar">
2.23 <copy file="plugin/services.xml" todir="${build.classes.dir}" />
2.24 @@ -82,10 +82,11 @@
2.25 <move todir="${dist.dir}/jars">
2.26 <fileset dir="${dist.dir}/jars/lib" />
2.27 </move>
2.28 + <copy file="${dist.dir}/jars/Isac.jar" todir="contrib/jEdit/build/jars" />
2.29 <copy file="${scala.library}" todir="${dist.dir}/jars" />
2.30 <copy file="${scala.lib}/scala-swing.jar" todir="${dist.dir}/jars" />
2.31 <!-- clean up -->
2.32 - <delete dir="{dist.dir}/jars/lib" />
2.33 + <!-- delete dir="{dist.dir}/jars/lib" /-->
2.34 <!-- dist-template -->
2.35 <copy file="dist-template/properties/jedit.props" tofile="${dist.dir}/properties" />
2.36 <copy todir="${dist.dir}/modes">
3.1 --- a/src/Tools/jEdit/contrib/jEdit/build-nb.xml Sat Feb 26 12:49:40 2011 +0100
3.2 +++ b/src/Tools/jEdit/contrib/jEdit/build-nb.xml Sat Feb 26 12:53:00 2011 +0100
3.3 @@ -1,6 +1,6 @@
3.4 <?xml version="1.0" encoding="UTF-8"?>
3.5 <project name="jEdit">
3.6 - <import file="./build.xml"/>
3.7 + <import file="build.xml"/>
3.8 <property environment="env"/>
3.9
3.10 <target name="run" depends="compile">
4.1 --- a/src/Tools/jEdit/nbproject/genfiles.properties Sat Feb 26 12:49:40 2011 +0100
4.2 +++ b/src/Tools/jEdit/nbproject/genfiles.properties Sat Feb 26 12:53:00 2011 +0100
4.3 @@ -3,6 +3,6 @@
4.4 build.xml.stylesheet.CRC32=ca9d572e
4.5 # This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
4.6 # Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
4.7 -nbproject/build-impl.xml.data.CRC32=8f41dcce
4.8 -nbproject/build-impl.xml.script.CRC32=e3e2a5d5
4.9 +nbproject/build-impl.xml.data.CRC32=3e6feb4f
4.10 +nbproject/build-impl.xml.script.CRC32=18cd47de
4.11 nbproject/build-impl.xml.stylesheet.CRC32=5220179f@1.3.5
5.1 --- a/src/Tools/jEdit/nbproject/project.properties Sat Feb 26 12:49:40 2011 +0100
5.2 +++ b/src/Tools/jEdit/nbproject/project.properties Sat Feb 26 12:53:00 2011 +0100
5.3 @@ -1,5 +1,5 @@
5.4 -application.title=Isabelle-jEdit
5.5 -application.vendor=makarius
5.6 +application.title=Isac for jEdit
5.7 +application.vendor=gadei
5.8 application.args=-noserver -nobackground
5.9 build.classes.dir=${build.dir}/classes
5.10 build.classes.excludes=**/*.java,**/*.form,**/*.scala
5.11 @@ -21,18 +21,18 @@
5.12 # must include something like this to private.properties:
5.13 # application.args=-noserver -nobackground -settings=/absolute/path/to/project/dist
5.14 #
5.15 -dist.jar=${dist.dir}/jars/Isabelle-jEdit.jar
5.16 +dist.jar=${dist.dir}/jars/Isac.jar
5.17 dist.javadoc.dir=${dist.dir}/javadoc
5.18 excludes=
5.19 file.reference.isabelle-jedit-src=src
5.20 -file.reference.jedit.jar=/home/makarius/lib/jedit/current/jedit.jar
5.21 +file.reference.jedit.jar=../../../../../../makarius/lib/jedit/current/jedit.jar
5.22 file.reference.src-Pure=../../Pure
5.23 includes=**
5.24 jar.compress=false
5.25 java.platform.active=java_default_platform
5.26 javac.classpath=\
5.27 + ${libs.Isabelle-Pure.classpath}:\
5.28 ${reference.jEdit.build}:\
5.29 - ${libs.Isabelle-Pure.classpath}:\
5.30 ${libs.Cobra-Renderer.classpath}:\
5.31 ${libs.Rhino-JavaScript.classpath}:\
5.32 ${libs.ErrorList.classpath}:\
5.33 @@ -43,8 +43,8 @@
5.34 # Space-separated list of extra javac options
5.35 javac.compilerargs=
5.36 javac.deprecation=false
5.37 -javac.source=1.6
5.38 -javac.target=1.6
5.39 +javac.source=1.5
5.40 +javac.target=1.5
5.41 javac.test.classpath=\
5.42 ${javac.classpath}:\
5.43 ${build.classes.dir}:\
5.44 @@ -65,12 +65,12 @@
5.45 manifest.file=manifest.mf
5.46 meta.inf.dir=${src.dir}/META-INF
5.47 platform.active=default_platform
5.48 -project.jEdit=contrib/jEdit
5.49 +project.jEdit=../isac/jEdit/contrib/jEdit
5.50 reference.jEdit.build=${project.jEdit}/build/jEdit.jar
5.51 run.classpath=\
5.52 ${javac.classpath}:\
5.53 ${build.classes.dir}
5.54 -run.jvmargs=-Xms128m -Xmx512m
5.55 +run.jvmargs=-Xms128m -Xmx512m -Disabelle.home=~/jedit-isac/isac
5.56 run.test.classpath=\
5.57 ${javac.test.classpath}:\
5.58 ${build.test.classes.dir}
6.1 --- a/src/Tools/jEdit/nbproject/project.xml Sat Feb 26 12:49:40 2011 +0100
6.2 +++ b/src/Tools/jEdit/nbproject/project.xml Sat Feb 26 12:53:00 2011 +0100
6.3 @@ -3,7 +3,7 @@
6.4 <type>org.netbeans.modules.scala.project</type>
6.5 <configuration>
6.6 <data xmlns="http://www.netbeans.org/ns/scala-project/1">
6.7 - <name>Isabelle-jEdit</name>
6.8 + <name>Isac</name>
6.9 <minimum-ant-version>1.6.5</minimum-ant-version>
6.10 <source-roots>
6.11 <root id="src.dir"/>