From 28ea17de7a376f9050ef9e3a1aa32a18efe219ef Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Aug 2015 15:18:16 -0500
Subject: [PATCH] [maven-release-plugin] prepare release v3.6

---
 coq-backend/pom.xml    | 2 +-
 java-backend/pom.xml   | 2 +-
 k-distribution/pom.xml | 2 +-
 kernel/pom.xml         | 7 +++----
 kore/pom.xml           | 5 ++---
 ocaml-backend/pom.xml  | 2 +-
 pom.xml                | 4 ++--
 sdf-parser/pom.xml     | 2 +-
 tiny/pom.xml           | 6 ++----
 9 files changed, 14 insertions(+), 18 deletions(-)

diff --git a/coq-backend/pom.xml b/coq-backend/pom.xml
index c88df2aff2..ca47d99f58 100644
--- a/coq-backend/pom.xml
+++ b/coq-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>coq-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/java-backend/pom.xml b/java-backend/pom.xml
index 3746483378..506223ba2f 100644
--- a/java-backend/pom.xml
+++ b/java-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
index 4202f8c797..7e8e834d26 100644
--- a/k-distribution/pom.xml
+++ b/k-distribution/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>
diff --git a/kernel/pom.xml b/kernel/pom.xml
index 0f8ad6411e..6328ad2e0e 100644
--- a/kernel/pom.xml
+++ b/kernel/pom.xml
@@ -1,13 +1,12 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <!-- Copyright (c) 2014-2015 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.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>
@@ -146,7 +145,7 @@
     <dependency>
       <groupId>org.kframework.dependencies</groupId>
       <artifactId>nailgun-server</artifactId>
-      <version>0.9.2-k3.6-SNAPSHOT</version>
+      <version>0.9.2-k3.6</version>
     </dependency>
     <dependency>
       <groupId>org.kframework.dependencies</groupId>
diff --git a/kore/pom.xml b/kore/pom.xml
index 83a18eb1f4..6c7eca739b 100644
--- a/kore/pom.xml
+++ b/kore/pom.xml
@@ -1,13 +1,12 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <!-- Copyright (c) 2014-2015 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.6-SNAPSHOT</version>
+    <version>3.6</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>
diff --git a/ocaml-backend/pom.xml b/ocaml-backend/pom.xml
index 56b02d9be7..5cad445449 100644
--- a/ocaml-backend/pom.xml
+++ b/ocaml-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>ocaml-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/pom.xml b/pom.xml
index 9110672491..c4b8f4a85b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>3.6-SNAPSHOT</version>
+  <version>3.6</version>
   <name>K Framework Tool Parent</name>
 
   <modules>
@@ -21,7 +21,7 @@
 
   <scm>
     <connection>scm:git:https://github.com/kframework/k.git</connection>
-    <tag>HEAD</tag>
+    <tag>v3.6</tag>
   </scm>
 
   <repositories>
diff --git a/sdf-parser/pom.xml b/sdf-parser/pom.xml
index 1b78aa5652..360ed91192 100644
--- a/sdf-parser/pom.xml
+++ b/sdf-parser/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
   </parent>
   <artifactId>sdf-parser</artifactId>
   <packaging>jar</packaging>
diff --git a/tiny/pom.xml b/tiny/pom.xml
index e387a70ffb..93d90ab70a 100644
--- a/tiny/pom.xml
+++ b/tiny/pom.xml
@@ -1,12 +1,10 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Copyright (c) 2014-2015 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>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>3.6-SNAPSHOT</version>
+    <version>3.6</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <modelVersion>4.0.0</modelVersion>