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

Fix EduEdition build (take 6)

Browse Source
This commit is contained in:
Dmitry Trofimov
2014-08-04 18:11:57 +02:00
parent ba306e1620
commit e2ec417fab
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/edu/build/pycharm_edu_build.gant
+2 -2
View File
@@ -44,7 +44,7 @@ private List<String> pycharmPlatformApiModules() {
private List pycharmImplementationModules() { //modules to put into pycharm.jar
return [platformImplementationModules, "dom-impl", "python-community", "python-ide-community", "python-openapi", "python-psi-api",
return [platformImplementationModules, "dom-impl", "python-community", "python-ide-community", "python-educational", "python-openapi", "python-psi-api",
"platform-main"].flatten()
}
@@ -154,7 +154,7 @@ public layoutEducational(String classesPath, Set usedJars) {
def appInfo = appInfoFile(classesPath)
def paths = new Paths(home)
buildSearchableOptions("${projectBuilder.moduleOutput(findModule("platform-resources"))}/search", [], {
projectBuilder.moduleRuntimeClasspath(findModule("main_pycharm_edu"), false).each {
projectBuilder.moduleRuntimeClasspath(findModule("main_pycharm_ce"), false).each {
ant.pathelement(location: it)
}
}, "-Didea.platform.prefix=PyCharmEdu -Didea.no.jre.check=true")