From 7bef0f5bb8508b49822c83660f1f30119a905d1d Mon Sep 17 00:00:00 2001 From: Alexey Andreev Date: Thu, 25 Oct 2018 13:15:28 +0300 Subject: [PATCH] Bump IDEA version to 2017.3 --- pom.xml | 2 +- tools/idea/idea-artifacts/dep-pom.xml | 11 +++++++++++ tools/idea/jps-common/pom.xml | 6 ++++++ tools/idea/jps-plugin/pom.xml | 6 ++++++ 4 files changed, 24 insertions(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 8b746ed95..fec101e6f 100644 --- a/pom.xml +++ b/pom.xml @@ -70,7 +70,7 @@ 1.7.7 2.47.2 2.6.2 - 2016.3.4 + 2017.3.5 6.1.1 false diff --git a/tools/idea/idea-artifacts/dep-pom.xml b/tools/idea/idea-artifacts/dep-pom.xml index 0959fb6bf..da89aa875 100644 --- a/tools/idea/idea-artifacts/dep-pom.xml +++ b/tools/idea/idea-artifacts/dep-pom.xml @@ -272,6 +272,17 @@ jps-builders + + jps-builders-6 + + install-file + + prepare-package + + dependencies/idea/lib/jps-builders-6.jar + jps-builders-6 + + log4j diff --git a/tools/idea/jps-common/pom.xml b/tools/idea/jps-common/pom.xml index 3ce827906..14bf6ef5f 100644 --- a/tools/idea/jps-common/pom.xml +++ b/tools/idea/jps-common/pom.xml @@ -71,6 +71,12 @@ ${idea.version} provided + + org.teavm.idea + jps-builders-6 + ${idea.version} + provided + org.teavm.idea diff --git a/tools/idea/jps-plugin/pom.xml b/tools/idea/jps-plugin/pom.xml index 48cbdb5c6..2eea208dc 100644 --- a/tools/idea/jps-plugin/pom.xml +++ b/tools/idea/jps-plugin/pom.xml @@ -71,6 +71,12 @@ ${idea.version} provided + + org.teavm.idea + jps-builders-6 + ${idea.version} + provided + org.teavm