From 7342e819bb4778ea02bc397e08b7786c7d30d9a1 Mon Sep 17 00:00:00 2001 From: "Jenkins build.overture.au.dk" Date: Tue, 31 Jan 2017 19:12:15 +0100 Subject: [PATCH] [maven-release-plugin] prepare release Release/0.0.18 Bump ide/ to version 0.0.18 --- c/pom.xml | 2 +- c/vdmclib/pom.xml | 2 +- core/pom.xml | 2 +- core/vdm2c/pom.xml | 2 +- ide/cgen/META-INF/MANIFEST.MF | 2 +- ide/cgen/pom.xml | 2 +- ide/features/cgen/feature.xml | 2 +- ide/features/cgen/pom.xml | 2 +- ide/features/pom.xml | 2 +- ide/pom.xml | 2 +- ide/repository/pom.xml | 2 +- pom.xml | 4 ++-- 12 files changed, 13 insertions(+), 13 deletions(-) diff --git a/c/pom.xml b/c/pom.xml index f20a88e6..e5bacbe1 100644 --- a/c/pom.xml +++ b/c/pom.xml @@ -4,7 +4,7 @@ org.overturetool.vdm2c root - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/c/vdmclib/pom.xml b/c/vdmclib/pom.xml index 47e51098..567e2978 100644 --- a/c/vdmclib/pom.xml +++ b/c/vdmclib/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c c - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/core/pom.xml b/core/pom.xml index 04d4a638..5373b30d 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -4,7 +4,7 @@ org.overturetool.vdm2c root - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/core/vdm2c/pom.xml b/core/vdm2c/pom.xml index 35ed13fb..f268c636 100644 --- a/core/vdm2c/pom.xml +++ b/core/vdm2c/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c core - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/ide/cgen/META-INF/MANIFEST.MF b/ide/cgen/META-INF/MANIFEST.MF index c378d044..5d0e5bf9 100644 --- a/ide/cgen/META-INF/MANIFEST.MF +++ b/ide/cgen/META-INF/MANIFEST.MF @@ -1,7 +1,7 @@ Manifest-Version: 1.0 Bundle-Vendor: Overture Bundle-ActivationPolicy: lazy -Bundle-Version: 0.0.17.qualifier +Bundle-Version: 0.0.18 Eclipse-BuddyPolicy: registered Bundle-Name: C Code Generator Bundle-ManifestVersion: 2 diff --git a/ide/cgen/pom.xml b/ide/cgen/pom.xml index 7fbd0dc9..9e2c3de7 100644 --- a/ide/cgen/pom.xml +++ b/ide/cgen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/ide/features/cgen/feature.xml b/ide/features/cgen/feature.xml index 213d8ae6..76553ff1 100644 --- a/ide/features/cgen/feature.xml +++ b/ide/features/cgen/feature.xml @@ -2,7 +2,7 @@ + version="0.0.18"> %description diff --git a/ide/features/cgen/pom.xml b/ide/features/cgen/pom.xml index 025c0e42..82198ab7 100644 --- a/ide/features/cgen/pom.xml +++ b/ide/features/cgen/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c.ide org.overturetool.vdm2c.ide.features - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/ide/features/pom.xml b/ide/features/pom.xml index 474f89d1..31dcf302 100644 --- a/ide/features/pom.xml +++ b/ide/features/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/ide/pom.xml b/ide/pom.xml index 55d2c475..97b8125f 100644 --- a/ide/pom.xml +++ b/ide/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c root - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml pom diff --git a/ide/repository/pom.xml b/ide/repository/pom.xml index 67eeebc5..de33da66 100644 --- a/ide/repository/pom.xml +++ b/ide/repository/pom.xml @@ -5,7 +5,7 @@ org.overturetool.vdm2c ide - 0.0.17-SNAPSHOT + 0.0.18 ../pom.xml diff --git a/pom.xml b/pom.xml index 0883e7db..a9efbfb6 100644 --- a/pom.xml +++ b/pom.xml @@ -13,7 +13,7 @@ root pom Overture VDM 2 C Translator Root - 0.0.17-SNAPSHOT + 0.0.18 UTF-8 @@ -401,7 +401,7 @@ http://mojo.codehaus.org/versions-maven-plugin/ git@github.com:overturetool/vdm2c.git scm:git:git://github.com/overturetool/vdm2c.git scm:git:git@github.com:overturetool/vdm2c.git - HEAD + Release/0.0.18