Writes .build_properties file for build date and version

diff --git a/build.xml b/build.xml
index dbed685..1bb59e8 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -38,6 +38,7 @@
         </fileset> -->
       </path>
 
+      <property name="JALVIEW_VERSION" value="2.01"/>
       <property name="" value=""/>
       <property name="libDir" value="lib"/>
       <property name="resourceDir" value="resources"/>
@@ -80,6 +81,22 @@
       -->
     </target>
 
+
+    <taskdef classpath="utils/roxes-ant-tasks-1.2-2004-01-30.jar" resource="com/roxes/tools/ant/taskdefs.properties"/>
+    <target name="buildPropertiesFile" depends="init">
+      <tstamp prefix="build">
+        <format property="date" pattern="dd MMMM yyyy hh.mm aa"/>
+      </tstamp>
+      <properties file="${outputDir}/.build_properties">
+        <header>
+          ---Jalview Application Properties---
+        </header>
+        <property name="VERSION" value="${JALVIEW_VERSION}"/>
+        <property name="BUILD_DATE" value="${build.date}"/>
+      </properties>
+    </target>
+
+
     <target name="clean" depends="init">
       <!-- not efficient yet. -->
       <delete dir="${outputDir}"/>
@@ -139,7 +156,7 @@
     </java>
     </target>
 
-    <target name="makejars" depends="build, buildindices">
+    <target name="makejars" depends="build, buildPropertiesFile, buildindices">
       <!-- make the package jar -->
       <mkdir dir="${packageDir}"/>
 
@@ -197,7 +214,7 @@
        -->
        </information>
         <resources>
-          <j2se version="1.3+"/>
+          <j2se version="1.4+"/>
           <fileset dir="${packageDir}">
             <include name="jalview.jar"/>
           </fileset>