From: Doni Pracner <quinnuendo@gmail.com>
Date: Fri, 19 Jul 2019 14:53:30 +0000 (+0200)
Subject: ant task to save the version number in git
X-Git-Tag: v1.1.0~1
X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=fa4f84e6fc740213f1c9416755a02c3e98b4c40d;p=mjc2wsl.git

ant task to save the version number in git
---

diff --git a/build.xml b/build.xml
index 762aef3..a122a38 100644
--- a/build.xml
+++ b/build.xml
@@ -173,6 +173,28 @@
             </exec>
     </target>
 
+    <target name="git-version-string" if="version">
+            <!-- explicitly store the new  version string in git -->
+            <!-- needs the version set already, preferably from the command line -->
+            <echo message="version=${version}"/>
+            <dirname file="${version.file}" property="version.file.dir"/>
+            <mkdir dir="${version.file.dir}" />
+            <propertyfile file="${version.file}">
+                    <entry key="version" value="${version}"/>
+            </propertyfile>
+	    <!-- remove the first line with the date if you can.
+		 for whatever reason Java Properties always writes this
+	      -->
+	    <exec executable="sed" failifexecutionfails="false">
+	      <arg line="-e '1d' -i ${version.file}"/>
+	    </exec>
+            <exec executable="git" failifexecutionfails="false">
+                    <arg value="update-index"/>
+                    <arg value="--no-assume-unchanged"/>
+                    <arg value="${version.file}"/>
+            </exec>
+    </target>
+
     <!-- **************************************** -->
     <!-- mjc2wsl related tasks -->
     <!-- **************************************** -->