Skip to content
This repository has been archived by the owner on Feb 1, 2020. It is now read-only.

Commit

Permalink
[maven-release-plugin] prepare release v3.6
Browse files Browse the repository at this point in the history
  • Loading branch information
Dwight Guth committed Aug 21, 2015
1 parent 59d6e65 commit 28ea17d
Show file tree
Hide file tree
Showing 9 changed files with 14 additions and 18 deletions.
2 changes: 1 addition & 1 deletion coq-backend/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
2 changes: 1 addition & 1 deletion java-backend/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
2 changes: 1 addition & 1 deletion k-distribution/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
7 changes: 3 additions & 4 deletions kernel/pom.xml
View file
Original file line number Diff line number Diff line change
@@ -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>
Expand Down Expand Up @@ -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>
Expand Down
5 changes: 2 additions & 3 deletions kore/pom.xml
View file
Original file line number Diff line number Diff line change
@@ -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>
Expand Down
2 changes: 1 addition & 1 deletion ocaml-backend/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
4 changes: 2 additions & 2 deletions pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand All @@ -21,7 +21,7 @@

<scm>
<connection>scm:git:https://github.com/kframework/k.git</connection>
<tag>HEAD</tag>
<tag>v3.6</tag>
</scm>

<repositories>
Expand Down
2 changes: 1 addition & 1 deletion sdf-parser/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
6 changes: 2 additions & 4 deletions tiny/pom.xml
View file
Original file line number Diff line number Diff line change
@@ -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>
Expand Down

0 comments on commit 28ea17d

Please sign in to comment.