summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorManuel Mohr <manuel.mohr@kit.edu>2013-11-19 15:15:20 +0100
committerManuel Mohr <manuel.mohr@kit.edu>2013-11-19 15:15:20 +0100
commitc22f7a636a1c4bf09e560ddf8cb702090ba75c1c (patch)
treed64c970357ee9268c5493cf08d5b702c6932e33f
parent9bb1894027e9ec9b7fd5016369d2cd6f16c528d4 (diff)
Add rudimentary ant build.xml.
-rw-r--r--build.xml35
1 files changed, 35 insertions, 0 deletions
diff --git a/build.xml b/build.xml
new file mode 100644
index 0000000..dc14a00
--- /dev/null
+++ b/build.xml
@@ -0,0 +1,35 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE project>
+<project name="bdwgc" default="dist" basedir=".">
+ <property name="make.exe" value="make"/>
+
+ <target name="init" />
+
+ <target name="distclean" depends="clean"/>
+ <target name="clean" depends="clean-default, clean-target"/>
+
+ <!-- Clean the correct directory -->
+ <target name="clean-default" unless="TARGET">
+ <exec executable="${make.exe}" failonerror="false">
+ <arg value="clean"/>
+ </exec>
+ </target>
+ <target name="clean-target" if="TARGET">
+ <exec executable="${make.exe}" failonerror="false">
+ <arg line="TARGET=${TARGET} clean"/>
+ </exec>
+ </target>
+
+ <target name="dist" depends="build" description="compile gc" />
+
+ <!-- If TARGET is set, build for TARGET. Otherwise do a default build. -->
+ <target name="build" depends="build-default, build-target"/>
+ <target name="build-default" depends="init" unless="TARGET">
+ <exec executable="${make.exe}" failonerror="true"/>
+ </target>
+ <target name="build-target" depends="init" if="TARGET">
+ <exec executable="${make.exe}" failonerror="true">
+ <arg value="TARGET=${TARGET}"/>
+ </exec>
+ </target>
+</project>