Mercurial > hg > Members > kono > jpf-core
view nbproject/ide-file-targets.xml @ 0:61d41facf527
initial v8 import (history reset)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 23 Jan 2015 10:14:01 -0800 |
parents | |
children |
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8"?> <project basedir=".." name="jpf-core-IDE"> <path id="base.path"> <pathelement location="build/main"/> <pathelement location="build/peers"/> <pathelement location="build/annotations"/> <pathelement location="build/tests"/> <fileset dir="."> <include name="lib/*.jar"/> </fileset> </path> <sourcepath id="source.path"> <pathelement location="src/main"/> <pathelement location="src/peers"/> </sourcepath> <!-- <property name="testrunner" value="gov.nasa.jpf.util.test.TestJPF"/> --> <property name="testrunner" value="gov.nasa.jpf.tool.RunTest"/> <!-- TODO: do we really have to duplicate this for each container dir? --> <!-- TODO: !!! automatic recompile doesn't work, this is a NetBeans/Ant problem !!! --> <!-- (more info: http://www.netbeans.org/kb/articles/freeform-config.html#runsingle) --> <target name="test-project"> <!-- we need to set the formatter 'usefile' attribute or the NB test runner will not show any tests --> <property name="junit.usefile" value="false"/> <ant antfile="build.xml" inheritall="true" target="test"/> </target> <!-- 'main' targets --> <target name="run-selected-main"> <fail unless="run.class">Must set property 'run.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${run.class}" failonerror="true" fork="true"> <classpath> <path refid="base.path"/> </classpath> <jvmarg value="-ea"/> <arg line="${arg.input}"/> </java> </target> <target name="debug-selected-main"> <fail unless="debug.class">Must set property 'debug.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <path id="cp.main"> <path refid="base.path"/> </path> <sourcepath id="sp.main"> <path refid="source.path"/> </sourcepath> <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket"> <classpath refid="cp.main"/> <sourcepath refid="sp.main"/> </nbjpdastart> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${debug.class}" fork="true" > <classpath refid="cp.main"/> <jvmarg value="-ea"/> <jvmarg value="-Xdebug"/> <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/> <arg line="${arg.input}"/> </java> </target> <!-- 'example' targets --> <target name="run-selected-example"> <fail unless="run.class">Must set property 'run.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${run.class}" failonerror="true" fork="true"> <classpath> <pathelement location="build/examples"/> <path refid="base.path"/> </classpath> <jvmarg value="-ea"/> <arg line="${arg.input}"/> </java> </target> <target name="debug-selected-example"> <fail unless="debug.class">Must set property 'debug.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <path id="cp.examples"> <pathelement location="build/examples"/> <path refid="base.path"/> </path> <sourcepath id="sp.examples"> <pathelement location="src/examples"/> <path refid="source.path"/> </sourcepath> <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket"> <classpath refid="cp.examples"/> <sourcepath refid="sp.examples"/> </nbjpdastart> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${debug.class}" fork="true" > <classpath refid="cp.examples"/> <jvmarg value="-ea"/> <jvmarg value="-Xdebug"/> <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/> <arg line="${arg.input}"/> </java> </target> <target name="run-selected-example-jpf"> <fail unless="jpf.config">Must set property 'jpf.config'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <!-- --> <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true"> <arg value="${jpf.config}"/> <classpath> <pathelement location="build/examples"/> <path refid="base.path"/> </classpath> </java> </target> <target name="debug-selected-example-jpf"> <fail unless="jpf.config">Must set property 'jpf.config'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <path id="cp.examples"> <pathelement location="build/examples"/> <path refid="base.path"/> </path> <sourcepath id="sp.examples"> <pathelement location="src/examples"/> <path refid="source.path"/> </sourcepath> <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket"> <classpath refid="cp.examples"/> <sourcepath refid="sp.examples"/> </nbjpdastart> <java classname="gov.nasa.jpf.JPF" fork="true"> <classpath refid="cp.examples"/> <jvmarg value="-ea"/> <jvmarg value="-Xdebug"/> <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/> <arg value="-c"/> <arg value="${jpf.config}"/> </java> </target> <!-- 'test' targets --> <target name="run-selected-test"> <fail unless="run.class">Must set property 'run.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${testrunner}" failonerror="true" fork="true"> <classpath> <pathelement location="build/tests"/> <path refid="base.path"/> </classpath> <jvmarg value="-ea"/> <arg value="${run.class}"/> <arg line="${arg.input}"/> </java> </target> <target name="debug-selected-test"> <fail unless="debug.class">Must set property 'debug.class'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <path id="cp.tests"> <pathelement location="build/tests"/> <path refid="base.path"/> </path> <sourcepath id="sp.tests"> <pathelement location="src/tests"/> <path refid="source.path"/> </sourcepath> <nbjpdastart addressproperty="jpda.address" name="${debug.class}" transport="dt_socket"> <classpath refid="cp.tests"/> <sourcepath refid="sp.tests"/> </nbjpdastart> <input message="please enter arguments" addproperty="arg.input"/> <java classname="${testrunner}" fork="true"> <classpath refid="cp.tests"/> <jvmarg value="-ea"/> <jvmarg value="-Xdebug"/> <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/> <arg value="${debug.class}"/> <arg line="${arg.input}"/> </java> </target> <target name="run-selected-test-jpf"> <fail unless="jpf.config">Must set property 'jpf.config'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <java classname="gov.nasa.jpf.JPF" failonerror="true" fork="true"> <jvmarg value="-ea"/> <arg value="${jpf.config}"/> <classpath> <pathelement location="build/tests"/> <path refid="base.path"/> </classpath> </java> </target> <target name="debug-selected-test-jpf"> <fail unless="jpf.config">Must set property 'jpf.config'</fail> <ant antfile="build.xml" inheritall="false" target="compile"/> <path id="cp.tests"> <pathelement location="build/tests"/> <path refid="base.path"/> </path> <sourcepath id="sp.tests"> <pathelement location="src/tests"/> <path refid="source.path"/> </sourcepath> <nbjpdastart addressproperty="jpda.address" name="${jpf.config}" transport="dt_socket"> <classpath refid="cp.tests"/> <sourcepath refid="sp.tests"/> </nbjpdastart> <java classname="gov.nasa.jpf.JPF" fork="true"> <classpath refid="cp.tests"/> <jvmarg value="-ea"/> <jvmarg value="-Xdebug"/> <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/> <arg value="-c"/> <arg value="${jpf.config}"/> </java> </target> </project>