mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote-tracking branch 'origin/master'
This commit is contained in:
@@ -53,3 +53,4 @@ textmate
|
||||
restClient
|
||||
puppet
|
||||
fileWatcher
|
||||
terminal
|
||||
|
||||
@@ -8,7 +8,8 @@ includeTargets << new File("${projectHome}/python/build/python_common.gant")
|
||||
setProperty("contribHome", "${projectHome}/contrib")
|
||||
setProperty("outDir", "${projectHome}/out/python")
|
||||
setProperty("ideaDir", "${outDir}/idea")
|
||||
setProperty("ideaHome", "${ideaDir}/jdk16")
|
||||
|
||||
setProperty("ideaHome", "${ideaDir}/jdk16") //compiled idea
|
||||
|
||||
setProperty("pluginHelp", "${outDir}/help")
|
||||
|
||||
@@ -19,7 +20,7 @@ setProperty("pluginHome", "${projectHome}/python")
|
||||
setProperty("pluginRevision", "${buildNumber}")
|
||||
|
||||
setProperty("ideaLib", "${ideaHome}/lib")
|
||||
setProperty("ideaPlugins", "${ideaHome}/plugins")
|
||||
setProperty("ideaPlugins", "${ideaHome}/plugins") //compiled plugins
|
||||
|
||||
|
||||
setProperty("output", "${projectHome}/python/dist")
|
||||
@@ -261,6 +262,9 @@ target(name: "compile", description: "Compile module python") {
|
||||
fileset(dir: "${ideaPlugins}/remote-run/lib") {
|
||||
include(name: "*.jar")
|
||||
}
|
||||
fileset(dir: "${ideaPlugins}/terminal/lib") {
|
||||
include(name: "*.jar")
|
||||
}
|
||||
pathelement(location: restJarName)
|
||||
pathelement(location: localizationJarName)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user