From 62c64031ead66dcfb519e21bd29284544ce06cec Mon Sep 17 00:00:00 2001
From: Peizhao Ou <peizhaoo@uci.edu>
Date: Mon, 22 Feb 2016 11:24:47 -0800
Subject: [PATCH] build file

---
 build.xml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 build.xml

diff --git a/build.xml b/build.xml
new file mode 100644
index 0000000..065bcad
--- /dev/null
+++ b/build.xml
@@ -0,0 +1,24 @@
+<project name="SpecCheckerCompiler" default="compile" basedir=".">
+  <!-- Compile variables -->
+  <property name="src" location="src"/>
+  <property name="build" location="classes"/>
+  <property name="lib" location="lib/javacc.jar"/>
+
+  <target name="init">
+  <!-- Create the build directory -->
+    <mkdir dir="${build}"/>
+  </target>
+
+  <target name="compile" depends="init"
+        description="compile the source">
+    <!-- Compile the code from ${src} into ${build} -->
+    <javac srcdir="${src}" destdir="${build}" classpath="${lib}"
+		includeantruntime="false" />
+  </target>
+
+  <target name="clean"
+        description="clean up">
+    <!-- Delete the ${build} directory trees -->
+    <delete dir="${build}"/>
+  </target>
+</project>
-- 
2.34.1