mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
added dependency from devkit module to its jps-plugin
This commit is contained in:
@@ -489,10 +489,8 @@ public def layoutCommunityPlugins(String home) {
|
||||
}
|
||||
|
||||
layoutPlugin("devkit") {
|
||||
dir("jps") {
|
||||
jar("devkit-jps-plugin.jar") {
|
||||
module("devkit-jps-plugin")
|
||||
}
|
||||
jar("devkit-jps-plugin.jar") {
|
||||
module("devkit-jps-plugin")
|
||||
}
|
||||
fileset(dir: "${home}/plugins/devkit/lib") {
|
||||
include(name: "**/*.jar")
|
||||
|
||||
@@ -45,6 +45,7 @@
|
||||
<orderEntry type="module" module-name="lang-impl" />
|
||||
<orderEntry type="module" module-name="testFramework" />
|
||||
<orderEntry type="module" module-name="dom-impl" />
|
||||
<orderEntry type="module" module-name="devkit-jps-plugin" />
|
||||
</component>
|
||||
</module>
|
||||
|
||||
|
||||
@@ -50,7 +50,7 @@
|
||||
<configurationType implementation="org.jetbrains.idea.devkit.run.PluginConfigurationType"/>
|
||||
<moduleType id="PLUGIN_MODULE" implementationClass="org.jetbrains.idea.devkit.module.PluginModuleType" classpathProvider="true"/>
|
||||
<sdkType implementation="org.jetbrains.idea.devkit.projectRoots.IdeaJdk"/>
|
||||
<compileServer.plugin classpath="jps/devkit-jps-plugin.jar"/>
|
||||
<compileServer.plugin classpath="devkit-jps-plugin.jar"/>
|
||||
<fileTemplateGroup implementation="org.jetbrains.idea.devkit.DevKitFileTemplatesFactory"/>
|
||||
<lang.documentationProvider language="XML"
|
||||
implementationClass="org.jetbrains.idea.devkit.references.extensions.ExtensionPointDocumentationProvider"/>
|
||||
|
||||
Reference in New Issue
Block a user