File indexing completed on 2023-03-17 11:15:32
0001 <project name="detIDGenerator" default="jar" basedir=".">
0002 <description>
0003 Delete a given object
0004 </description>
0005
0006 <property name="src" location="src"/>
0007 <property name="dist" location="bin"/>
0008 <property name="build" location="classes"/>
0009 <property name="doc" location="docs"/>
0010
0011 <target name="init">
0012
0013 <tstamp/>
0014
0015 <mkdir dir="${build}"/>
0016
0017 <mkdir dir="${build}/ressources"/>
0018 <copy file="./RodNumbering.csv" tofile="${build}/ressources/RodNumbering.csv"/>
0019
0020 <mkdir dir="${dist}"/>
0021 </target>
0022
0023 <target name="compile" depends="init"
0024 description="compile the source " >
0025
0026 <javac srcdir="${src}" destdir="${build}" classpath="./bin/DBConnection.jar" deprecation="on" nowarn="off" optimize="on">
0027 <compilerarg value="-Xlint"/>
0028 </javac>
0029 </target>
0030
0031 <target name="jar" depends="compile"
0032 description="generate the distribution" >
0033
0034 <jar jarfile="${dist}/detidGenerator.jar" basedir="${build}"/>
0035 </target>
0036
0037 <target name="clean"
0038 description="clean up" >
0039
0040 <delete dir="${build}"/>
0041 <delete dir="${doc}"/>
0042 <delete file="${dist}/detidGenerator.jar"/>
0043 <delete file="./log.xml"/>
0044 </target>
0045
0046 <target name="doc" description="Create the code documentation">
0047 <javadoc packagenames="detidGenerator.*, db.*"
0048 sourcepath="src"
0049 defaultexcludes="yes"
0050 destdir="${doc}"
0051 author="true"
0052 version="true"
0053 use="true"
0054 windowtitle="DetID Generator documentation">
0055 <doctitle><![CDATA[<h1>DetID Generator</h1>]]></doctitle>
0056 <tag name="todo" scope="all" description="To do:" />
0057 </javadoc>
0058 </target>
0059
0060 </project>