Fix build of IDEA plugin

This commit is contained in:
Alexey Andreev 2019-12-04 16:56:47 +03:00
parent 0dbc4a22bb
commit efa15936da
2 changed files with 17 additions and 0 deletions

View File

@ -274,6 +274,17 @@
<artifactId>jps-model</artifactId> <artifactId>jps-model</artifactId>
</configuration> </configuration>
</execution> </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> <execution>
<id>jps-builders</id> <id>jps-builders</id>
<goals> <goals>

View File

@ -65,6 +65,12 @@
<version>${idea.version}</version> <version>${idea.version}</version>
<scope>provided</scope> <scope>provided</scope>
</dependency> </dependency>
<dependency>
<groupId>org.teavm.idea</groupId>
<artifactId>platform-api</artifactId>
<version>${idea.version}</version>
<scope>provided</scope>
</dependency>
<dependency> <dependency>
<groupId>org.teavm.idea</groupId> <groupId>org.teavm.idea</groupId>
<artifactId>jps-builders</artifactId> <artifactId>jps-builders</artifactId>