ltpda-connection-manager: ConnectionManager/nbproject/build-impl.xml annotate

author	Daniele Nicolodi <daniele@science.unitn.it>
date	Wed, 02 Jun 2010 17:29:18 +0200
parents
children

rev	line source
5 35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	1 <?xml version="1.0" encoding="UTF-8"?>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	2 <!--
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	3 * GENERATED FROM project.xml - DO NOT EDIT *
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	4 * EDIT ../build.xml INSTEAD *
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	5
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	6 For the purpose of easier reading the script
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	7 is divided into following sections:
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	8
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	9 - initialization
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	10 - compilation
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	11 - jar
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	12 - execution
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	13 - debugging
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	14 - javadoc
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	15 - junit compilation
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	16 - junit execution
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	17 - junit debugging
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	18 - applet
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	19 - cleanup
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	20
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	21 -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	22 <project xmlns:j2seproject1="http://www.netbeans.org/ns/j2se-project/1" xmlns:j2seproject3="http://www.netbeans.org/ns/j2se-project/3" xmlns:jaxrpc="http://www.netbeans.org/ns/j2se-project/jax-rpc" basedir=".." default="default" name="ConnectionManager-impl">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	23 <fail message="Please build using Ant 1.7.1 or higher.">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	24 <condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	25 <not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	26 <antversion atleast="1.7.1"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	27 </not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	28 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	29 </fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	30 <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	31 <!--
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	32 ======================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	33 INITIALIZATION SECTION
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	34 ======================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	35 -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	36 <target name="-pre-init">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	37 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	38 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	39 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	40 <target depends="-pre-init" name="-init-private">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	41 <property file="nbproject/private/config.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	42 <property file="nbproject/private/configs/${config}.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	43 <property file="nbproject/private/private.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	44 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	45 <target depends="-pre-init,-init-private" name="-init-user">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	46 <property file="${user.properties.file}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	47 <!-- The two properties below are usually overridden -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	48 <!-- by the active platform. Just a fallback. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	49 <property name="default.javac.source" value="1.4"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	50 <property name="default.javac.target" value="1.4"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	51 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	52 <target depends="-pre-init,-init-private,-init-user" name="-init-project">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	53 <property file="nbproject/configs/${config}.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	54 <property file="nbproject/project.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	55 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	56 <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	57 <available file="${manifest.file}" property="manifest.available"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	58 <condition property="main.class.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	59 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	60 <isset property="main.class"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	61 <not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	62 <equals arg1="${main.class}" arg2="" trim="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	63 </not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	64 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	65 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	66 <condition property="manifest.available+main.class">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	67 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	68 <isset property="manifest.available"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	69 <isset property="main.class.available"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	70 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	71 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	72 <condition property="do.mkdist">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	73 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	74 <isset property="libs.CopyLibs.classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	75 <not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	76 <istrue value="${mkdist.disabled}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	77 </not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	78 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	79 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	80 <condition property="manifest.available+main.class+mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	81 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	82 <istrue value="${manifest.available+main.class}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	83 <isset property="do.mkdist"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	84 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	85 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	86 <condition property="manifest.available+mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	87 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	88 <istrue value="${manifest.available}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	89 <isset property="do.mkdist"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	90 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	91 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	92 <condition property="manifest.available-mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	93 <or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	94 <istrue value="${manifest.available}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	95 <isset property="do.mkdist"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	96 </or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	97 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	98 <condition property="manifest.available+main.class-mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	99 <or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	100 <istrue value="${manifest.available+main.class}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	101 <isset property="do.mkdist"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	102 </or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	103 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	104 <condition property="have.tests">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	105 <or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	106 <available file="${test.src.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	107 </or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	108 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	109 <condition property="have.sources">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	110 <or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	111 <available file="${src.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	112 </or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	113 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	114 <condition property="netbeans.home+have.tests">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	115 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	116 <isset property="netbeans.home"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	117 <isset property="have.tests"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	118 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	119 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	120 <condition property="no.javadoc.preview">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	121 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	122 <isset property="javadoc.preview"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	123 <isfalse value="${javadoc.preview}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	124 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	125 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	126 <property name="run.jvmargs" value=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	127 <property name="javac.compilerargs" value=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	128 <property name="work.dir" value="${basedir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	129 <condition property="no.deps">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	130 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	131 <istrue value="${no.dependencies}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	132 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	133 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	134 <property name="javac.debug" value="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	135 <property name="javadoc.preview" value="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	136 <property name="application.args" value=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	137 <property name="source.encoding" value="${file.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	138 <property name="runtime.encoding" value="${source.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	139 <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	140 <and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	141 <isset property="javadoc.encoding"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	142 <not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	143 <equals arg1="${javadoc.encoding}" arg2=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	144 </not>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	145 </and>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	146 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	147 <property name="javadoc.encoding.used" value="${source.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	148 <property name="includes" value="**"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	149 <property name="excludes" value=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	150 <property name="do.depend" value="false"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	151 <condition property="do.depend.true">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	152 <istrue value="${do.depend}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	153 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	154 <path id="endorsed.classpath.path" path="${endorsed.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	155 <condition else="" property="endorsed.classpath.cmd.line.arg" value="-Xbootclasspath/p:'${toString:endorsed.classpath.path}'">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	156 <length length="0" string="${endorsed.classpath}" when="greater"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	157 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	158 <property name="javac.fork" value="false"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	159 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	160 <target name="-post-init">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	161 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	162 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	163 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	164 <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	165 <fail unless="src.dir">Must set src.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	166 <fail unless="test.src.dir">Must set test.src.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	167 <fail unless="build.dir">Must set build.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	168 <fail unless="dist.dir">Must set dist.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	169 <fail unless="build.classes.dir">Must set build.classes.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	170 <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	171 <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	172 <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	173 <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	174 <fail unless="dist.jar">Must set dist.jar</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	175 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	176 <target name="-init-macrodef-property">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	177 <macrodef name="property" uri="http://www.netbeans.org/ns/j2se-project/1">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	178 <attribute name="name"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	179 <attribute name="value"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	180 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	181 <property name="@{name}" value="${@{value}}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	182 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	183 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	184 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	185 <target name="-init-macrodef-javac">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	186 <macrodef name="javac" uri="http://www.netbeans.org/ns/j2se-project/3">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	187 <attribute default="${src.dir}" name="srcdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	188 <attribute default="${build.classes.dir}" name="destdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	189 <attribute default="${javac.classpath}" name="classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	190 <attribute default="${includes}" name="includes"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	191 <attribute default="${excludes}" name="excludes"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	192 <attribute default="${javac.debug}" name="debug"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	193 <attribute default="${empty.dir}" name="sourcepath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	194 <attribute default="${empty.dir}" name="gensrcdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	195 <element name="customize" optional="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	196 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	197 <property location="${build.dir}/empty" name="empty.dir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	198 <mkdir dir="${empty.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	199 <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" fork="${javac.fork}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}" tempdir="${java.io.tmpdir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	200 <src>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	201 <dirset dir="@{gensrcdir}" erroronmissingdir="false">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	202 <include name="*"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	203 </dirset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	204 </src>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	205 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	206 <path path="@{classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	207 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	208 <compilerarg line="${endorsed.classpath.cmd.line.arg}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	209 <compilerarg line="${javac.compilerargs}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	210 <customize/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	211 </javac>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	212 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	213 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	214 <macrodef name="depend" uri="http://www.netbeans.org/ns/j2se-project/3">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	215 <attribute default="${src.dir}" name="srcdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	216 <attribute default="${build.classes.dir}" name="destdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	217 <attribute default="${javac.classpath}" name="classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	218 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	219 <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	220 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	221 <path path="@{classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	222 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	223 </depend>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	224 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	225 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	226 <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/j2se-project/3">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	227 <attribute default="${build.classes.dir}" name="destdir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	228 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	229 <fail unless="javac.includes">Must set javac.includes</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	230 <pathconvert pathsep="," property="javac.includes.binary">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	231 <path>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	232 <filelist dir="@{destdir}" files="${javac.includes}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	233 </path>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	234 <globmapper from=".java" to=".class"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	235 </pathconvert>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	236 <delete>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	237 <files includes="${javac.includes.binary}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	238 </delete>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	239 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	240 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	241 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	242 <target name="-init-macrodef-junit">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	243 <macrodef name="junit" uri="http://www.netbeans.org/ns/j2se-project/3">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	244 <attribute default="${includes}" name="includes"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	245 <attribute default="${excludes}" name="excludes"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	246 <attribute default="**" name="testincludes"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	247 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	248 <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true" tempdir="${build.dir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	249 <batchtest todir="${build.test.results.dir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	250 <fileset dir="${test.src.dir}" excludes="@{excludes},${excludes}" includes="@{includes}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	251 <filename name="@{testincludes}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	252 </fileset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	253 </batchtest>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	254 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	255 <path path="${run.test.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	256 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	257 <syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	258 <propertyref prefix="test-sys-prop."/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	259 <mapper from="test-sys-prop." to="" type="glob"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	260 </syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	261 <formatter type="brief" usefile="false"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	262 <formatter type="xml"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	263 <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	264 <jvmarg line="${run.jvmargs}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	265 </junit>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	266 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	267 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	268 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	269 <target depends="-init-debug-args" name="-init-macrodef-nbjpda">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	270 <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/j2se-project/1">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	271 <attribute default="${main.class}" name="name"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	272 <attribute default="${debug.classpath}" name="classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	273 <attribute default="" name="stopclassname"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	274 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	275 <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="${debug-transport}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	276 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	277 <path path="@{classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	278 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	279 </nbjpdastart>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	280 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	281 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	282 <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/j2se-project/1">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	283 <attribute default="${build.classes.dir}" name="dir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	284 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	285 <nbjpdareload>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	286 <fileset dir="@{dir}" includes="${fix.classes}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	287 <include name="${fix.includes}*.class"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	288 </fileset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	289 </nbjpdareload>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	290 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	291 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	292 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	293 <target name="-init-debug-args">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	294 <property name="version-output" value="java version "${ant.java.version}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	295 <condition property="have-jdk-older-than-1.4">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	296 <or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	297 <contains string="${version-output}" substring="java version "1.0"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	298 <contains string="${version-output}" substring="java version "1.1"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	299 <contains string="${version-output}" substring="java version "1.2"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	300 <contains string="${version-output}" substring="java version "1.3"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	301 </or>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	302 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	303 <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	304 <istrue value="${have-jdk-older-than-1.4}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	305 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	306 <condition else="dt_socket" property="debug-transport-by-os" value="dt_shmem">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	307 <os family="windows"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	308 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	309 <condition else="${debug-transport-by-os}" property="debug-transport" value="${debug.transport}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	310 <isset property="debug.transport"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	311 </condition>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	312 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	313 <target depends="-init-debug-args" name="-init-macrodef-debug">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	314 <macrodef name="debug" uri="http://www.netbeans.org/ns/j2se-project/3">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	315 <attribute default="${main.class}" name="classname"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	316 <attribute default="${debug.classpath}" name="classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	317 <element name="customize" optional="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	318 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	319 <java classname="@{classname}" dir="${work.dir}" fork="true">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	320 <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	321 <jvmarg line="${debug-args-line}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	322 <jvmarg value="-Xrunjdwp:transport=${debug-transport},address=${jpda.address}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	323 <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	324 <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	325 <jvmarg line="${run.jvmargs}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	326 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	327 <path path="@{classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	328 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	329 <syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	330 <propertyref prefix="run-sys-prop."/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	331 <mapper from="run-sys-prop." to="" type="glob"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	332 </syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	333 <customize/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	334 </java>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	335 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	336 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	337 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	338 <target name="-init-macrodef-java">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	339 <macrodef name="java" uri="http://www.netbeans.org/ns/j2se-project/1">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	340 <attribute default="${main.class}" name="classname"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	341 <attribute default="${run.classpath}" name="classpath"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	342 <element name="customize" optional="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	343 <sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	344 <java classname="@{classname}" dir="${work.dir}" fork="true">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	345 <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	346 <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	347 <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	348 <jvmarg line="${run.jvmargs}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	349 <classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	350 <path path="@{classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	351 </classpath>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	352 <syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	353 <propertyref prefix="run-sys-prop."/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	354 <mapper from="run-sys-prop." to="" type="glob"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	355 </syspropertyset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	356 <customize/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	357 </java>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	358 </sequential>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	359 </macrodef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	360 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	361 <target name="-init-presetdef-jar">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	362 <presetdef name="jar" uri="http://www.netbeans.org/ns/j2se-project/1">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	363 <jar compress="${jar.compress}" jarfile="${dist.jar}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	364 <j2seproject1:fileset dir="${build.classes.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	365 </jar>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	366 </presetdef>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	367 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	368 <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	369 <!--
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	370 ===================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	371 COMPILATION SECTION
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	372 ===================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	373 -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	374 <target name="-deps-jar-init" unless="built-jar.properties">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	375 <property location="${build.dir}/built-jar.properties" name="built-jar.properties"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	376 <delete file="${built-jar.properties}" quiet="true"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	377 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	378 <target if="already.built.jar.${basedir}" name="-warn-already-built-jar">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	379 <echo level="warn" message="Cycle detected: ConnectionManager was already built"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	380 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	381 <target depends="init,-deps-jar-init" name="deps-jar" unless="no.deps">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	382 <mkdir dir="${build.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	383 <touch file="${built-jar.properties}" verbose="false"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	384 <property file="${built-jar.properties}" prefix="already.built.jar."/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	385 <antcall target="-warn-already-built-jar"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	386 <propertyfile file="${built-jar.properties}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	387 <entry key="${basedir}" value=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	388 </propertyfile>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	389 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	390 <target depends="init,-check-automatic-build,-clean-after-automatic-build" name="-verify-automatic-build"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	391 <target depends="init" name="-check-automatic-build">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	392 <available file="${build.classes.dir}/.netbeans_automatic_build" property="netbeans.automatic.build"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	393 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	394 <target depends="init" if="netbeans.automatic.build" name="-clean-after-automatic-build">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	395 <antcall target="clean"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	396 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	397 <target depends="init,deps-jar" name="-pre-pre-compile">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	398 <mkdir dir="${build.classes.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	399 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	400 <target name="-pre-compile">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	401 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	402 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	403 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	404 <target if="do.depend.true" name="-compile-depend">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	405 <pathconvert property="build.generated.subdirs">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	406 <dirset dir="${build.generated.sources.dir}" erroronmissingdir="false">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	407 <include name="*"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	408 </dirset>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	409 </pathconvert>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	410 <j2seproject3:depend srcdir="${src.dir}:${build.generated.subdirs}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	411 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	412 <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	413 <j2seproject3:javac gensrcdir="${build.generated.sources.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	414 <copy todir="${build.classes.dir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	415 <fileset dir="${src.dir}" excludes="${build.classes.excludes},${excludes}" includes="${includes}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	416 </copy>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	417 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	418 <target name="-post-compile">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	419 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	420 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	421 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	422 <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	423 <target name="-pre-compile-single">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	424 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	425 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	426 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	427 <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	428 <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	429 <j2seproject3:force-recompile/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	430 <j2seproject3:javac excludes="" gensrcdir="${build.generated.sources.dir}" includes="${javac.includes}" sourcepath="${src.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	431 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	432 <target name="-post-compile-single">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	433 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	434 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	435 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	436 <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	437 <!--
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	438 ====================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	439 JAR BUILDING SECTION
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	440 ====================
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	441 -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	442 <target depends="init" name="-pre-pre-jar">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	443 <dirname file="${dist.jar}" property="dist.jar.dir"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	444 <mkdir dir="${dist.jar.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	445 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	446 <target name="-pre-jar">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	447 <!-- Empty placeholder for easier customization. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	448 <!-- You can override this target in the ../build.xml file. -->
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	449 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	450 <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available-mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	451 <j2seproject1:jar/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	452 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	453 <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class-mkdist.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	454 <j2seproject1:jar manifest="${manifest.file}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	455 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	456 <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">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	457 <j2seproject1:jar manifest="${manifest.file}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	458 <j2seproject1:manifest>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	459 <j2seproject1:attribute name="Main-Class" value="${main.class}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	460 </j2seproject1:manifest>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	461 </j2seproject1:jar>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	462 <echo>To run this application from the command line without Ant, try:</echo>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	463 <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	464 <property location="${dist.jar}" name="dist.jar.resolved"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	465 <pathconvert property="run.classpath.with.dist.jar">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	466 <path path="${run.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	467 <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	468 </pathconvert>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	469 <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}</echo>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	470 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	471 <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	472 <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	473 <pathconvert property="run.classpath.without.build.classes.dir">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	474 <path path="${run.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	475 <map from="${build.classes.dir.resolved}" to=""/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	476 </pathconvert>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	477 <pathconvert pathsep=" " property="jar.classpath">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	478 <path path="${run.classpath.without.build.classes.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	479 <chainedmapper>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	480 <flattenmapper/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	481 <globmapper from="" to="lib/"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	482 </chainedmapper>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	483 </pathconvert>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	484 <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	485 <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	486 <fileset dir="${build.classes.dir}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	487 <manifest>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	488 <attribute name="Main-Class" value="${main.class}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	489 <attribute name="Class-Path" value="${jar.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	490 </manifest>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	491 </copylibs>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	492 <echo>To run this application from the command line without Ant, try:</echo>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	493 <property location="${dist.jar}" name="dist.jar.resolved"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	494 <echo>java -jar "${dist.jar.resolved}"</echo>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	495 </target>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	496 <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+mkdist.available" name="-do-jar-with-libraries-without-mainclass" unless="main.class.available">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	497 <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	498 <pathconvert property="run.classpath.without.build.classes.dir">
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	499 <path path="${run.classpath}"/>
35f1cfcaa5a9 Add crude Java GUI. Daniele Nicolodi <daniele@science.unitn.it> parents: diff changeset	500 <map from="${build.classes.dir.resolved}" to=""/>

5

35f1cfcaa5a9 Add crude Java GUI.