Mercurial > hg > ltpda-connection-manager
annotate ConnectionManager/nbproject/build-impl.xml @ 7:ea3ae6ce9fea default tip
Improved Java interface look.
author | Daniele Nicolodi <daniele@grinta.net> |
---|---|
date | Wed, 23 Nov 2011 20:27:21 +0100 |
parents | 35f1cfcaa5a9 |
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=""/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
501 </pathconvert> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
502 <pathconvert pathsep=" " property="jar.classpath"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
503 <path path="${run.classpath.without.build.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
504 <chainedmapper> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
505 <flattenmapper/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
506 <globmapper from="*" to="lib/*"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
507 </chainedmapper> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
508 </pathconvert> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
509 <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
|
510 <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
|
511 <fileset dir="${build.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
512 <manifest> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
513 <attribute name="Class-Path" value="${jar.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
514 </manifest> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
515 </copylibs> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
516 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
517 <target depends="init,compile,-pre-pre-jar,-pre-jar" if="do.mkdist" name="-do-jar-with-libraries-without-manifest" unless="manifest.available"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
518 <property location="${build.classes.dir}" name="build.classes.dir.resolved"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
519 <pathconvert property="run.classpath.without.build.classes.dir"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
520 <path path="${run.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
521 <map from="${build.classes.dir.resolved}" to=""/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
522 </pathconvert> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
523 <pathconvert pathsep=" " property="jar.classpath"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
524 <path path="${run.classpath.without.build.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
525 <chainedmapper> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
526 <flattenmapper/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
527 <globmapper from="*" to="lib/*"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
528 </chainedmapper> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
529 </pathconvert> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
530 <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
|
531 <copylibs compress="${jar.compress}" jarfile="${dist.jar}" runtimeclasspath="${run.classpath.without.build.classes.dir}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
532 <fileset dir="${build.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
533 <manifest> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
534 <attribute name="Class-Path" value="${jar.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
535 </manifest> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
536 </copylibs> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
537 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
538 <target name="-post-jar"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
539 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
540 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
541 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
542 <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-do-jar-with-libraries-without-mainclass,-do-jar-with-libraries-without-manifest,-post-jar" description="Build JAR." name="jar"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
543 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
544 ================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
545 EXECUTION SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
546 ================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
547 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
548 <target depends="init,compile" description="Run a main class." name="run"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
549 <j2seproject1:java> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
550 <customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
551 <arg line="${application.args}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
552 </customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
553 </j2seproject1:java> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
554 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
555 <target name="-do-not-recompile"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
556 <property name="javac.includes.binary" value=""/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
557 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
558 <target depends="init,compile-single" name="run-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
559 <fail unless="run.class">Must select one file in the IDE or set run.class</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
560 <j2seproject1:java classname="${run.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
561 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
562 <target depends="init,compile-test-single" name="run-test-with-main"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
563 <fail unless="run.class">Must select one file in the IDE or set run.class</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
564 <j2seproject1:java classname="${run.class}" classpath="${run.test.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
565 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
566 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
567 ================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
568 DEBUGGING SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
569 ================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
570 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
571 <target depends="init" if="netbeans.home" name="-debug-start-debugger"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
572 <j2seproject1:nbjpdastart name="${debug.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
573 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
574 <target depends="init" if="netbeans.home" name="-debug-start-debugger-main-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
575 <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${debug.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
576 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
577 <target depends="init,compile" name="-debug-start-debuggee"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
578 <j2seproject3:debug> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
579 <customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
580 <arg line="${application.args}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
581 </customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
582 </j2seproject3:debug> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
583 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
584 <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
585 <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
586 <j2seproject1:nbjpdastart stopclassname="${main.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
587 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
588 <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
589 <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
590 <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
591 <j2seproject3:debug classname="${debug.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
592 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
593 <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
594 <target depends="init,compile-test-single" if="netbeans.home" name="-debug-start-debuggee-main-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
595 <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
596 <j2seproject3:debug classname="${debug.class}" classpath="${debug.test.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
597 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
598 <target depends="init,compile-test-single,-debug-start-debugger-main-test,-debug-start-debuggee-main-test" if="netbeans.home" name="debug-test-with-main"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
599 <target depends="init" name="-pre-debug-fix"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
600 <fail unless="fix.includes">Must set fix.includes</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
601 <property name="javac.includes" value="${fix.includes}.java"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
602 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
603 <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
604 <j2seproject1:nbjpdareload/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
605 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
606 <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
607 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
608 =============== |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
609 JAVADOC SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
610 =============== |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
611 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
612 <target depends="init" name="-javadoc-build"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
613 <mkdir dir="${dist.javadoc.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
614 <javadoc additionalparam="${javadoc.additionalparam}" author="${javadoc.author}" charset="UTF-8" destdir="${dist.javadoc.dir}" docencoding="UTF-8" encoding="${javadoc.encoding.used}" failonerror="true" noindex="${javadoc.noindex}" nonavbar="${javadoc.nonavbar}" notree="${javadoc.notree}" private="${javadoc.private}" source="${javac.source}" splitindex="${javadoc.splitindex}" use="${javadoc.use}" useexternalfile="true" version="${javadoc.version}" windowtitle="${javadoc.windowtitle}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
615 <classpath> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
616 <path path="${javac.classpath}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
617 </classpath> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
618 <fileset dir="${src.dir}" excludes="${excludes}" includes="${includes}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
619 <filename name="**/*.java"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
620 </fileset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
621 <fileset dir="${build.generated.sources.dir}" erroronmissingdir="false"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
622 <include name="**/*.java"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
623 </fileset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
624 </javadoc> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
625 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
626 <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
627 <nbbrowse file="${dist.javadoc.dir}/index.html"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
628 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
629 <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
630 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
631 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
632 JUNIT COMPILATION SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
633 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
634 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
635 <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
636 <mkdir dir="${build.test.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
637 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
638 <target name="-pre-compile-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
639 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
640 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
641 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
642 <target if="do.depend.true" name="-compile-test-depend"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
643 <j2seproject3:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir="${test.src.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
644 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
645 <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
646 <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" srcdir="${test.src.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
647 <copy todir="${build.test.classes.dir}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
648 <fileset dir="${test.src.dir}" excludes="${build.classes.excludes},${excludes}" includes="${includes}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
649 </copy> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
650 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
651 <target name="-post-compile-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
652 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
653 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
654 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
655 <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
656 <target name="-pre-compile-test-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
657 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
658 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
659 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
660 <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
661 <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
|
662 <j2seproject3:force-recompile destdir="${build.test.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
663 <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="${test.src.dir}" srcdir="${test.src.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
664 <copy todir="${build.test.classes.dir}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
665 <fileset dir="${test.src.dir}" excludes="${build.classes.excludes},${excludes}" includes="${includes}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
666 </copy> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
667 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
668 <target name="-post-compile-test-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
669 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
670 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
671 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
672 <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
673 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
674 ======================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
675 JUNIT EXECUTION SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
676 ======================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
677 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
678 <target depends="init" if="have.tests" name="-pre-test-run"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
679 <mkdir dir="${build.test.results.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
680 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
681 <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
682 <j2seproject3:junit testincludes="**/*Test.java"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
683 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
684 <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
685 <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
686 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
687 <target depends="init" if="have.tests" name="test-report"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
688 <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
689 <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
690 <target depends="init" if="have.tests" name="-pre-test-run-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
691 <mkdir dir="${build.test.results.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
692 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
693 <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
694 <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
695 <j2seproject3:junit excludes="" includes="${test.includes}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
696 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
697 <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
698 <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
699 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
700 <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
701 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
702 ======================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
703 JUNIT DEBUGGING SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
704 ======================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
705 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
706 <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
707 <fail unless="test.class">Must select one file in the IDE or set test.class</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
708 <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
709 <delete file="${test.report.file}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
710 <mkdir dir="${build.test.results.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
711 <j2seproject3: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}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
712 <customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
713 <syspropertyset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
714 <propertyref prefix="test-sys-prop."/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
715 <mapper from="test-sys-prop.*" to="*" type="glob"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
716 </syspropertyset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
717 <arg value="${test.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
718 <arg value="showoutput=true"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
719 <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
720 <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
721 </customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
722 </j2seproject3:debug> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
723 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
724 <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
725 <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
726 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
727 <target depends="init,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
728 <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
729 <j2seproject1:nbjpdareload dir="${build.test.classes.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
730 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
731 <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
732 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
733 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
734 APPLET EXECUTION SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
735 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
736 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
737 <target depends="init,compile-single" name="run-applet"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
738 <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
739 <j2seproject1:java classname="sun.applet.AppletViewer"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
740 <customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
741 <arg value="${applet.url}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
742 </customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
743 </j2seproject1:java> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
744 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
745 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
746 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
747 APPLET DEBUGGING SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
748 ========================= |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
749 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
750 <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
751 <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
752 <j2seproject3:debug classname="sun.applet.AppletViewer"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
753 <customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
754 <arg value="${applet.url}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
755 </customize> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
756 </j2seproject3:debug> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
757 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
758 <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
759 <!-- |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
760 =============== |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
761 CLEANUP SECTION |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
762 =============== |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
763 --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
764 <target name="-deps-clean-init" unless="built-clean.properties"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
765 <property location="${build.dir}/built-clean.properties" name="built-clean.properties"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
766 <delete file="${built-clean.properties}" quiet="true"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
767 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
768 <target if="already.built.clean.${basedir}" name="-warn-already-built-clean"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
769 <echo level="warn" message="Cycle detected: ConnectionManager was already built"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
770 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
771 <target depends="init,-deps-clean-init" name="deps-clean" unless="no.deps"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
772 <mkdir dir="${build.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
773 <touch file="${built-clean.properties}" verbose="false"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
774 <property file="${built-clean.properties}" prefix="already.built.clean."/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
775 <antcall target="-warn-already-built-clean"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
776 <propertyfile file="${built-clean.properties}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
777 <entry key="${basedir}" value=""/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
778 </propertyfile> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
779 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
780 <target depends="init" name="-do-clean"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
781 <delete dir="${build.dir}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
782 <delete dir="${dist.dir}" followsymlinks="false" includeemptydirs="true"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
783 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
784 <target name="-post-clean"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
785 <!-- Empty placeholder for easier customization. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
786 <!-- You can override this target in the ../build.xml file. --> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
787 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
788 <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
789 <target name="-check-call-dep"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
790 <property file="${call.built.properties}" prefix="already.built."/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
791 <condition property="should.call.dep"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
792 <not> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
793 <isset property="already.built.${call.subproject}"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
794 </not> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
795 </condition> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
796 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
797 <target depends="-check-call-dep" if="should.call.dep" name="-maybe-call-dep"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
798 <ant antfile="${call.script}" inheritall="false" target="${call.target}"> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
799 <propertyset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
800 <propertyref prefix="transfer."/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
801 <mapper from="transfer.*" to="*" type="glob"/> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
802 </propertyset> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
803 </ant> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
804 </target> |
35f1cfcaa5a9
Add crude Java GUI.
Daniele Nicolodi <daniele@science.unitn.it>
parents:
diff
changeset
|
805 </project> |