mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
updated pycharm edu build.gant according to new modules layout
This commit is contained in:
@@ -213,12 +213,14 @@ public layoutEducational(String classesPath, Set usedJars) {
|
||||
|
||||
private layoutPlugins(layouts) {
|
||||
dir("plugins") {
|
||||
layouts.layoutPlugin("learn-python") {
|
||||
layouts.layoutPlugin("interactive-learning")
|
||||
layouts.layoutPlugin("interactive-learning-python") {
|
||||
dir("courses") {
|
||||
fileset(dir: "$pythonEduHome/learn-python/resources/courses")
|
||||
fileset(dir: "$pythonEduHome/interactive-learning-python/resources/courses")
|
||||
}
|
||||
}
|
||||
layouts.layoutPlugin("course-creator")
|
||||
layouts.layoutPlugin("course-creator-python")
|
||||
}
|
||||
|
||||
layouts.layoutCommunityPlugins(ch)
|
||||
|
||||
Reference in New Issue
Block a user