[maven-release-plugin] prepare release v4.0.0

kframework · Jul 28, 2016 · d310c7a · d310c7a
1 parent 9e3c517
commit d310c7a
Show file tree

Hide file tree

Showing 7 changed files with 9 additions and 11 deletions.
diff --git a/API/pom.xml b/API/pom.xml
@@ -1,12 +1,10 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Copyright (c) 2015-2016 K Team. All Rights Reserved. -->
-<project xmlns="http://maven.apache.org/POM/4.0.0"
-         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
     <parent>
         <artifactId>parent</artifactId>
         <groupId>org.kframework.k</groupId>
-        <version>4.0.0-SNAPSHOT</version>
+        <version>4.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
     <modelVersion>4.0.0</modelVersion>

diff --git a/coq-backend/pom.xml b/coq-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>coq-backend</artifactId>
   <packaging>jar</packaging>

diff --git a/java-backend/pom.xml b/java-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>

diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>

diff --git a/kernel/pom.xml b/kernel/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>

diff --git a/kore/pom.xml b/kore/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>

diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>4.0.0-SNAPSHOT</version>
+  <version>4.0.0</version>
   <name>K Framework Tool Parent</name>
 
   <modules>
@@ -20,7 +20,7 @@
 
   <scm>
     <connection>scm:git:https://github.com/kframework/k.git</connection>
-    <tag>HEAD</tag>
+    <tag>v4.0.0</tag>
   </scm>
 
   <repositories>