From e2ec417fabde2e2c6c4f67bfd18bc057efe1f264 Mon Sep 17 00:00:00 2001 From: Dmitry Trofimov Date: Mon, 4 Aug 2014 18:11:57 +0200 Subject: [PATCH] Fix EduEdition build (take 6) --- python/edu/build/pycharm_edu_build.gant | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/edu/build/pycharm_edu_build.gant b/python/edu/build/pycharm_edu_build.gant index 2ac9cb3632c1..59b5118710a4 100644 --- a/python/edu/build/pycharm_edu_build.gant +++ b/python/edu/build/pycharm_edu_build.gant @@ -44,7 +44,7 @@ private List 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")