diff options
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/build.xml b/build.xml deleted file mode 100644 index 0b934cb..0000000 --- a/build.xml +++ /dev/null @@ -1,52 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?>
-<project basedir="." default="jar" name="cristal-dev">
- <property name="name" value="cristal-dev"/>
- <property name="version" value="1.0"/>
- <property name="src.dir" value="src"/>
- <property name="res.dir" value="ch/cern/cristaldev/resources"/>
- <property name="build.dir" value="bin"/>
- <property name="resource.dir" value="resources"/>
- <property name="debug" value="true"/>
- <property name="deprecation" value="false"/>
- <property name="optimize" value="true"/>
-
- <!-- Resource file patterns -->
- <patternset id="resource.files">
- <include name="boot/**/*.txt"/>
- <include name="boot/**/*.xml"/>
- <include name="boot/**/*.xsd"/>
- <include name="images/**/*.gif"/>
- <include name="images/**/*.jpg"/>
- <include name="images/**/*.png"/>
- </patternset>
-
- <target name="prepare">
- <tstamp/>
- </target>
-
- <target name="resources" depends="prepare" description="Moves all resources to the build directory for the Resource class to read">
- <mkdir dir="${build.dir}/${res.dir}"/>
- <copy todir="${build.dir}/${res.dir}">
- <fileset dir="${resource.dir}">
- <patternset refid="resource.files"/>
- </fileset>
- </copy>
- <copy todir="${build.dir}">
- <fileset dir="${src.dir}">
- <filename name="module.xml"/>
- </fileset>
- </copy>
- </target>
-
- <target name="jar" depends="resources" description="make jar">
- <jar basedir="${build.dir}" includes="**" jarfile="cristaldev.jar"/>
- </target>
-
- <target name="clean" description="cleans up the build directories">
- <delete dir="${build.dir}"/>
- </target>
-
- <target name="rebuild" depends="clean, jar" description="deletes and rebuilds the cristal-dev module"/>
-
-
-</project>
|
