add: an about page that shows the currently deployed version.

[gigi.git] / build.xml

diff --git a/build.xml b/build.xml
index be1b127e7613d85bcde19c0b503cb7219d240177..6816b7d81816a35392dfa0dfc285b180f6d9e670 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -81,6 +81,14 @@
        <target depends="clean,clean-test" name="cleanall" />
        <target depends="build-project, build-testing, native" name="build" />
        <target depends="init" name="build-project">
+               <exec outputproperty="git-version" executable="git">
+                       <arg line="rev-parse"/>
+                       <arg line="HEAD"/>
+               </exec>
+               <manifest file="Gigi.MF">
+                       <attribute name="Main-Class" value="org.cacert.gigi.Launcher" />
+                       <attribute name="Implementation-Version" value="${git-version}" />
+               </manifest>
                <echo message="${ant.project.name}: ${ant.file}" />
                <javac encoding="UTF-8" debug="true" debuglevel="${debuglevel}" destdir="bin"
                        includeantruntime="false" source="${source}" target="${target}">