From a36cd51c5315f5c2f4741c4568c25c4af5b8227b Mon Sep 17 00:00:00 2001
From: Alexey Andreev <konsoletyper@gmail.com>
Date: Wed, 4 Dec 2019 17:25:07 +0300
Subject: [PATCH] Fix build of IDEA plugin

---
 tools/idea/jps-plugin/pom.xml | 6 ++++++
 tools/idea/plugin/pom.xml     | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/tools/idea/jps-plugin/pom.xml b/tools/idea/jps-plugin/pom.xml
index 9e2a9ff80..a5be574e1 100644
--- a/tools/idea/jps-plugin/pom.xml
+++ b/tools/idea/jps-plugin/pom.xml
@@ -65,6 +65,12 @@
       <version>${idea.version}</version>
       <scope>provided</scope>
     </dependency>
+    <dependency>
+      <groupId>org.teavm.idea</groupId>
+      <artifactId>platform-api</artifactId>
+      <version>${idea.version}</version>
+      <scope>provided</scope>
+    </dependency>
     <dependency>
       <groupId>org.teavm.idea</groupId>
       <artifactId>jps-builders</artifactId>
diff --git a/tools/idea/plugin/pom.xml b/tools/idea/plugin/pom.xml
index bdfef45be..0f572fce7 100644
--- a/tools/idea/plugin/pom.xml
+++ b/tools/idea/plugin/pom.xml
@@ -82,6 +82,12 @@
       <version>${idea.version}</version>
       <scope>provided</scope>
     </dependency>
+    <dependency>
+      <groupId>org.teavm.idea</groupId>
+      <artifactId>platform-api</artifactId>
+      <version>${idea.version}</version>
+      <scope>provided</scope>
+    </dependency>
     <dependency>
       <groupId>org.teavm.idea</groupId>
       <artifactId>commons-logging</artifactId>