3f1cdba799
Added update_plugins.py which can fetch new plugins from GitHub. New plugins added: zencoding, vim-indent-object, taglist, nginx.vim
30 lines
876 B
Plaintext
30 lines
876 B
Plaintext
<project name="PROJECT NAME" default="dist" basedir=".">
|
|
<description>
|
|
</description>
|
|
|
|
<!-- set global properties for this build -->
|
|
<property name="src" location="src"/>
|
|
<property name="build" location="build"/>
|
|
<property name="dist" location="dist"/>
|
|
|
|
<target name="init">
|
|
<tstamp/>
|
|
<mkdir dir="${build}"/>
|
|
</target>
|
|
|
|
<target name="compile" depends="init" description="compile the source " >
|
|
<javac srcdir="${src}" destdir="${build}"/>
|
|
</target>
|
|
|
|
<target name="dist" depends="compile" description="generate the distribution" >
|
|
<mkdir dir="${dist}/lib"/>
|
|
<jar jarfile="${dist}/lib/MyProject-${DSTAMP}.jar" basedir="${build}"/>
|
|
</target>
|
|
|
|
<target name="clean"
|
|
description="clean up" >
|
|
<delete dir="${build}"/>
|
|
<delete dir="${dist}"/>
|
|
</target>
|
|
</project>
|