mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
37 lines
1.4 KiB
XML
37 lines
1.4 KiB
XML
<project name="Layout Python plugin distribution" default="layout">
|
|
<target name="layout">
|
|
<patternset id="resources.included">
|
|
<include name="**/*.properties"/>
|
|
</patternset>
|
|
<patternset id="resources.excluded">
|
|
<exclude name="**/*.properties"/>
|
|
</patternset>
|
|
<patternset id="classes.excluded">
|
|
<exclude name="*$py.class"/>
|
|
</patternset>
|
|
|
|
<layout todir="${deploy}/plugins" xmlns="antlib:jetbrains.antlayout">
|
|
<dir name="python">
|
|
<dir name="lib">
|
|
<jar name="python.jar">
|
|
<module name="python"> <patternset refid="resources.excluded"/> </module>
|
|
<module name="python-community"/>
|
|
<module name="python-plugin"/>
|
|
<module name="python-pydev"/>
|
|
<module name="python-openapi"/>
|
|
<module name="python-psi-api"/>
|
|
<module name="colorSchemes"/>
|
|
</jar>
|
|
<jar name="resources_en.jar">
|
|
<module name="python"> <patternset refid="resources.included"/> </module>
|
|
</jar>
|
|
<fileset dir="${project.home}/python/lib" includes="*.jar"/>
|
|
</dir>
|
|
<dir name="helpers">
|
|
<fileset dir="${project.home}/python/helpers" includes="**/*.py"/>
|
|
<fileset dir="${project.home}/python/helpers" includes="**/versions.xml"/>
|
|
</dir>
|
|
</dir>
|
|
</layout>
|
|
</target>
|
|
</project> |