Mercurial > hg > Members > kono > jpf-core

comparison nbproject/ide-file-targets.xml @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:61d41facf527
1 <?xml version="1.0" encoding="UTF-8"?>
2 <project basedir=".." name="jpf-core-IDE">
3
4 <path id="base.path">
5 <pathelement location="build/main"/>
6 <pathelement location="build/peers"/>
7 <pathelement location="build/annotations"/>
8 <pathelement location="build/tests"/>
9 <fileset dir=".">
10 <include name="lib/*.jar"/>
11 </fileset>
12 </path>
13
14 <sourcepath id="source.path">
15 <pathelement location="src/main"/>
16 <pathelement location="src/peers"/>
17 </sourcepath>
18
19 <!--
20 <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/>
21 -->
22 <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/>
23
24
25 <!-- TODO: do we really have to duplicate this for each container dir? -->
26 <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! -->
27
28 <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) -->
29
30 <target name="test-project">
31 <!-- we need to set the formatter 'usefile' attribute
32 or the NB test runner will not show any tests -->
33 <property name="junit.usefile" value="false"/>
34 <ant antfile="build.xml" inheritall="true" target="test"/>
35 </target>
36
37
38 <!-- 'main' targets -->
39 <target name="run-selected-main">
40 <fail unless="run.class">Must set property 'run.class'</fail>
41 <ant antfile="build.xml" inheritall="false" target="compile"/>
42 <input message="please enter arguments" addproperty="arg.input"/>
43 <java classname="${run.class}" failonerror="true" fork="true">
44 <classpath>
45 <path refid="base.path"/>
46 </classpath>
47 <jvmarg value="-ea"/>
48 <arg line="${arg.input}"/>
49 </java>
50 </target>
51
52 <target name="debug-selected-main">
53 <fail unless="debug.class">Must set property 'debug.class'</fail>
54 <ant antfile="build.xml" inheritall="false" target="compile"/>
55
56 <path id="cp.main">
57 <path refid="base.path"/>
58 </path>
59 <sourcepath id="sp.main">
60 <path refid="source.path"/>
61 </sourcepath>
62
63
64 <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
65 <classpath refid="cp.main"/>
66 <sourcepath refid="sp.main"/>
67 </nbjpdastart>
68
69 <input message="please enter arguments" addproperty="arg.input"/>
70
71 <java classname="${debug.class}" fork="true" >
72 <classpath refid="cp.main"/>
73 <jvmarg value="-ea"/>
74 <jvmarg value="-Xdebug"/>
75 <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
76 <arg line="${arg.input}"/>
77 </java>
78 </target>
79
80
81 <!-- 'example' targets -->
82 <target name="run-selected-example">
83 <fail unless="run.class">Must set property 'run.class'</fail>
84 <ant antfile="build.xml" inheritall="false" target="compile"/>
85 <input message="please enter arguments" addproperty="arg.input"/>
86 <java classname="${run.class}" failonerror="true" fork="true">
87 <classpath>
88 <pathelement location="build/examples"/>
89 <path refid="base.path"/>
90 </classpath>
91 <jvmarg value="-ea"/>
92 <arg line="${arg.input}"/>
93 </java>
94 </target>
95
96 <target name="debug-selected-example">
97 <fail unless="debug.class">Must set property 'debug.class'</fail>
98 <ant antfile="build.xml" inheritall="false" target="compile"/>
99
100 <path id="cp.examples">
101 <pathelement location="build/examples"/>
102 <path refid="base.path"/>
103 </path>
104 <sourcepath id="sp.examples">
105 <pathelement location="src/examples"/>
106 <path refid="source.path"/>
107 </sourcepath>
108
109
110 <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
111 <classpath refid="cp.examples"/>
112 <sourcepath refid="sp.examples"/>
113 </nbjpdastart>
114
115 <input message="please enter arguments" addproperty="arg.input"/>
116
117 <java classname="${debug.class}" fork="true" >
118 <classpath refid="cp.examples"/>
119 <jvmarg value="-ea"/>
120 <jvmarg value="-Xdebug"/>
121 <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
122 <arg line="${arg.input}"/>
123 </java>
124 </target>
125
126 <target name="run-selected-example-jpf">
127 <fail unless="jpf.config">Must set property 'jpf.config'</fail>
128 <ant antfile="build.xml" inheritall="false" target="compile"/>
129 <!-- -->
130 <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
131 <arg value="${jpf.config}"/>
132 <classpath>
133 <pathelement location="build/examples"/>
134 <path refid="base.path"/>
135 </classpath>
136 </java>
137 </target>
138
139 <target name="debug-selected-example-jpf">
140 <fail unless="jpf.config">Must set property 'jpf.config'</fail>
141 <ant antfile="build.xml" inheritall="false" target="compile"/>
142
143 <path id="cp.examples">
144 <pathelement location="build/examples"/>
145 <path refid="base.path"/>
146 </path>
147 <sourcepath id="sp.examples">
148 <pathelement location="src/examples"/>
149 <path refid="source.path"/>
150 </sourcepath>
151
152 <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
153 <classpath refid="cp.examples"/>
154 <sourcepath refid="sp.examples"/>
155 </nbjpdastart>
156
157 <java classname="gov.nasa.jpf.JPF" fork="true">
158 <classpath refid="cp.examples"/>
159 <jvmarg value="-ea"/>
160 <jvmarg value="-Xdebug"/>
161 <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
162 <arg value="-c"/>
163 <arg value="${jpf.config}"/>
164 </java>
165 </target>
166
167
168 <!-- 'test' targets -->
169 <target name="run-selected-test">
170 <fail unless="run.class">Must set property 'run.class'</fail>
171 <ant antfile="build.xml" inheritall="false" target="compile"/>
172 <input message="please enter arguments" addproperty="arg.input"/>
173 <java classname="${testrunner}" failonerror="true" fork="true">
174 <classpath>
175 <pathelement location="build/tests"/>
176 <path refid="base.path"/>
177 </classpath>
178 <jvmarg value="-ea"/>
179 <arg value="${run.class}"/>
180 <arg line="${arg.input}"/>
181 </java>
182 </target>
183
184 <target name="debug-selected-test">
185 <fail unless="debug.class">Must set property 'debug.class'</fail>
186 <ant antfile="build.xml" inheritall="false" target="compile"/>
187
188 <path id="cp.tests">
189 <pathelement location="build/tests"/>
190 <path refid="base.path"/>
191 </path>
192 <sourcepath id="sp.tests">
193 <pathelement location="src/tests"/>
194 <path refid="source.path"/>
195 </sourcepath>
196
197 <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket">
198 <classpath refid="cp.tests"/>
199 <sourcepath refid="sp.tests"/>
200 </nbjpdastart>
201
202 <input message="please enter arguments" addproperty="arg.input"/>
203
204 <java classname="${testrunner}" fork="true">
205 <classpath refid="cp.tests"/>
206 <jvmarg value="-ea"/>
207 <jvmarg value="-Xdebug"/>
208 <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
209 <arg value="${debug.class}"/>
210 <arg line="${arg.input}"/>
211 </java>
212 </target>
213
214 <target name="run-selected-test-jpf">
215 <fail unless="jpf.config">Must set property 'jpf.config'</fail>
216 <ant antfile="build.xml" inheritall="false" target="compile"/>
217 <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true">
218 <jvmarg value="-ea"/>
219 <arg value="${jpf.config}"/>
220 <classpath>
221 <pathelement location="build/tests"/>
222 <path refid="base.path"/>
223 </classpath>
224 </java>
225 </target>
226
227 <target name="debug-selected-test-jpf">
228 <fail unless="jpf.config">Must set property 'jpf.config'</fail>
229 <ant antfile="build.xml" inheritall="false" target="compile"/>
230
231 <path id="cp.tests">
232 <pathelement location="build/tests"/>
233 <path refid="base.path"/>
234 </path>
235 <sourcepath id="sp.tests">
236 <pathelement location="src/tests"/>
237 <path refid="source.path"/>
238 </sourcepath>
239
240 <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket">
241 <classpath refid="cp.tests"/>
242 <sourcepath refid="sp.tests"/>
243 </nbjpdastart>
244
245 <java classname="gov.nasa.jpf.JPF" fork="true">
246 <classpath refid="cp.tests"/>
247 <jvmarg value="-ea"/>
248 <jvmarg value="-Xdebug"/>
249 <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
250 <arg value="-c"/>
251 <arg value="${jpf.config}"/>
252 </java>
253 </target>
254
255 </project>