MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Build scripts: fix python-community-plugin building

Browse Source
This commit is contained in:
Alexander Zolotov
2017-09-11 16:12:42 +03:00
parent 82c4eebbe0
commit 4006e9c33b
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/groovy/org/jetbrains/intellij/build/pycharm/PythonCommunityPluginBuilder.groovy
+8 -5
View File
@@ -36,10 +36,13 @@ class PythonCommunityPluginBuilder {
def buildContext = BuildContext.createContext(home, home, new PythonCommunityPluginProperties(), ProprietaryBuildTools.DUMMY, options)
def buildTasks = BuildTasks.create(buildContext)
buildTasks.buildDistributions()
def builtPlugins = new File("$buildContext.paths.artifacts/${buildContext.productProperties.productCode}-plugins").listFiles()
if (builtPlugins == null || builtPlugins.length == 0) {
buildContext.messages.warning("No plugins were built")
return
}
def pluginsPaths = new File("$buildContext.paths.buildOutputRoot/plugins-paths.txt")
pluginsPaths.text = new File("$buildContext.paths.artifacts/plugins")
.listFiles()
.collect { it.toString() }
.join("\n")
}
pluginsPaths.text = builtPlugins.collect { it.toString() }.join("\n") }
}