attempt to fix poms for mvn clean deploy, still failing |-(

leouk · Oct 4, 2024 · 98a05e8 · 98a05e8
1 parent 6240181
commit 98a05e8
Show file tree

Hide file tree

Showing 8 changed files with 11 additions and 8 deletions.
diff --git a/annotationsVDMToolkit/pom.xml b/annotationsVDMToolkit/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/pom.xml b/pom.xml
@@ -10,15 +10,18 @@
 	<name>VDMToolkit Suite</name>
 	<packaging>pom</packaging>
 	<!-- This version is inherited by all modules -->
-	<version>${revision}</version>	
+    <version>${revision}${sha1}${changelist}</version>
 
 	<properties>
 	    <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
 	    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<!-- Change VDM Toolkit  -->
 	    <revision>1.2.0-SNAPSHOT</revision>
+	    <changelist></changelist>
+        <sha1/>
 		<!-- VDMJ version, which percolates to all dependent POMs -->	
 		<dk.au.ece.vdmj-version>4.6.0</dk.au.ece.vdmj-version>
+
 	</properties>
 
 	<!-- sub modules -->

diff --git a/quickcheck2isa/pom.xml b/quickcheck2isa/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/vdm-antlr/pom.xml b/vdm-antlr/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/vdm2dafny/pom.xml b/vdm2dafny/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/vdm2isa-lsp/pom.xml b/vdm2isa-lsp/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/vdm2isa/pom.xml b/vdm2isa/pom.xml
@@ -5,7 +5,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>
 

diff --git a/vdmlib/pom.xml b/vdmlib/pom.xml
@@ -4,7 +4,7 @@
 	<parent>
 		<groupId>vdmtoolkit</groupId>
 		<artifactId>VDMToolkit-suite</artifactId>
-		<version>${revision}</version>
+	    <version>${revision}${sha1}${changelist}</version>
 		<relativePath>../pom.xml</relativePath>
 	</parent>