[maven-release-plugin] prepare release v3.5

Author: dwightguth

java-backend/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>

k-distribution/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>

kernel/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>

kore/pom.xml

@@ -1,13 +1,12 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <!-- Copyright (c) 2014 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">
 
   <modelVersion>4.0.0</modelVersion>
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>

maude-backend/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
   </parent>
   <artifactId>maude-backend</artifactId>
   <packaging>jar</packaging>

pom.xml

@@ -5,7 +5,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>3.5-SNAPSHOT</version>
+  <version>3.5</version>
   <name>K Framework Tool Parent</name>
 
   <modules>
@@ -19,6 +19,7 @@
 
   <scm>
     <connection>scm:git:https://github.com/kframework/k.git</connection>
+    <tag>v3.5</tag>
   </scm>
 
   <repositories>
@@ -246,8 +247,8 @@
         <native.classifier>linux64</native.classifier>
         <native.os.classifier>linux</native.os.classifier>
         <native.exe.type>uexe</native.exe.type>
-        <native.exe.extension></native.exe.extension>
-        <native.script.extension></native.script.extension>
+        <native.exe.extension />
+        <native.script.extension />
       </properties>
     </profile>
     <profile>
@@ -264,8 +265,8 @@
         <native.classifier>linux32</native.classifier>
         <native.os.classifier>linux</native.os.classifier>
         <native.exe.type>uexe</native.exe.type>
-        <native.exe.extension></native.exe.extension>
-        <native.script.extension></native.script.extension>
+        <native.exe.extension />
+        <native.script.extension />
       </properties>
     </profile>
     <profile>
@@ -280,8 +281,8 @@
         <native.classifier>osx</native.classifier>
         <native.os.classifier>osx</native.os.classifier>
         <native.exe.type>uexe</native.exe.type>
-        <native.exe.extension></native.exe.extension>
-        <native.script.extension></native.script.extension>
+        <native.exe.extension />
+        <native.script.extension />
       </properties>
     </profile>
     <profile>

sdf-parser/pom.xml

@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.5-SNAPSHOT</version>
+    <version>3.5</version>
   </parent>
   <artifactId>sdf-parser</artifactId>
   <packaging>jar</packaging>