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

---
 tools/idea/idea-artifacts/dep-pom.xml | 11 +++++++++++
 tools/idea/jps-common/pom.xml         |  6 ++++++
 2 files changed, 17 insertions(+)

diff --git a/tools/idea/idea-artifacts/dep-pom.xml b/tools/idea/idea-artifacts/dep-pom.xml
index 7ce219eb0..dc5613a59 100644
--- a/tools/idea/idea-artifacts/dep-pom.xml
+++ b/tools/idea/idea-artifacts/dep-pom.xml
@@ -274,6 +274,17 @@
               <artifactId>jps-model</artifactId>
             </configuration>
           </execution>
+          <execution>
+            <id>platform-api</id>
+            <goals>
+              <goal>install-file</goal>
+            </goals>
+            <phase>prepare-package</phase>
+            <configuration>
+              <file>dependencies/idea/lib/platform-api.jar</file>
+              <artifactId>platform-api</artifactId>
+            </configuration>
+          </execution>
           <execution>
             <id>jps-builders</id>
             <goals>
diff --git a/tools/idea/jps-common/pom.xml b/tools/idea/jps-common/pom.xml
index 8bc76a79d..f8f9da12c 100644
--- a/tools/idea/jps-common/pom.xml
+++ b/tools/idea/jps-common/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>