mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
ac3848fa7c
- additional bundled plugin modules are disabled as ruby and python plugin can be now installed in a natural way - snapshot distributions are now allowed to use builtin plugins repository url - add date to snapshot plugin versions to make IDEA understand that they can be updated GitOrigin-RevId: 8ffb3c9c8f760f0fd4caf02e117c4d89fdfbed87
41 lines
1.8 KiB
XML
41 lines
1.8 KiB
XML
<!-- Copyright 2000-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. -->
|
|
<project name="IntelliJ IDEA CE developer's update" default="layout">
|
|
<dirname property="build" file="${ant.file}"/>
|
|
<property name="project.home" value="${build}/../"/>
|
|
<property name="gant.home" value="${project.home}/build/lib/gant"/>
|
|
|
|
<macrodef name="run">
|
|
<attribute name="script"/>
|
|
<attribute name="target" default="default"/>
|
|
<attribute name="deploy"/>
|
|
<attribute name="distOutputRelativePath" default="dist"/>
|
|
|
|
<sequential>
|
|
<java classname="org.apache.tools.ant.Main" dir="${project.home}" fork="true" failonerror="true">
|
|
<jvmarg line="-Xmx512m"/>
|
|
<jvmarg line=""-Dintellij.build.output.root=@{deploy}""/>
|
|
<jvmarg line=""-Dintellij.build.local.plugins.repository=${intellij.build.local.plugins.repository}""/>
|
|
<jvmarg line=""-DdistOutputRelativePath=@{distOutputRelativePath}""/>
|
|
<jvmarg line=""-Dgant.script=@{script}""/>
|
|
<jvmarg line=""-Dgant.target=@{target}""/>
|
|
<classpath>
|
|
<fileset dir="${project.home}/lib/ant/lib" includes="*.jar"/>
|
|
</classpath>
|
|
<arg value="-f"/>
|
|
<arg value="${project.home}/build/gant.xml"/>
|
|
</java>
|
|
</sequential>
|
|
</macrodef>
|
|
|
|
<target name="layout">
|
|
<run script="${project.home}/build/scripts/idea_community.gant"
|
|
target="update-from-sources"
|
|
deploy="${project.home}/out/deploy"/>
|
|
</target>
|
|
|
|
<target name="build-intellij-core">
|
|
<run script="${project.home}/build/scripts/idea_community.gant"
|
|
target="build-intellij-core"
|
|
deploy="${project.home}/out/deploy"/>
|
|
</target>
|
|
</project> |