mirror of
https://github.com/encounter/dynmap.git
synced 2026-03-30 11:08:39 -07:00
FrozenCow
56 lines
1.7 KiB
XML
56 lines
1.7 KiB
XML
<project name="dynmap" default="dist" basedir=".">
|
|
<!-- Change the following two properties to the correct jar files -->
|
|
<property name="minecraftserver.jar" location="../../minecraft_server.jar"/>
|
|
<property name="hmod.jar" location="../../Minecraft_Mod.jar"/>
|
|
|
|
<property name="minecraft" location="../../"/>
|
|
<property name="plugins" location="${minecraft}/plugins/"/>
|
|
<property name="http_root" location="/srv/http/dynmap/"/>
|
|
|
|
<property name="src" location="src"/>
|
|
<property name="bin" location="bin"/>
|
|
<property name="dist" location="dist"/>
|
|
<property name="web" location="web"/>
|
|
|
|
<target name="init">
|
|
<mkdir dir="${bin}"/>
|
|
</target>
|
|
|
|
<target name="compile" depends="init">
|
|
<javac srcdir="${src}" destdir="${bin}" includeantruntime="false">
|
|
<classpath>
|
|
<pathelement location="${hmod.jar}"/>
|
|
<pathelement location="${minecraftserver.jar}"/>
|
|
</classpath>
|
|
</javac>
|
|
</target>
|
|
|
|
<target name="dist" depends="compile">
|
|
<mkdir dir="${dist}"/>
|
|
<jar jarfile="${dist}/map.jar" basedir="${bin}"/>
|
|
</target>
|
|
|
|
<target name="deploy" depends="dist">
|
|
<copy file="${dist}/map.jar" todir="${plugins}"/>
|
|
<copy file="colors.txt" todir="${minecraft}"/>
|
|
<copy todir="${http_root}">
|
|
<fileset dir="web"/>
|
|
</copy>
|
|
</target>
|
|
|
|
<target name="release" depends="dist">
|
|
<delete file="dynmap.zip"/>
|
|
<zip destfile="dynmap.zip">
|
|
<zipfileset dir="." includes="README.md" fullpath="readme.txt"/>
|
|
<zipfileset dir="." includes="build.xml"/>
|
|
<zipfileset dir="${dist}" includes="*.jar"/>
|
|
<zipfileset dir="${src}" includes="*.java" prefix="src/"/>
|
|
<zipfileset dir="${web}" includes="**" prefix="web/"/>
|
|
</zip>
|
|
</target>
|
|
|
|
<target name="clean">
|
|
<delete dir="${bin}"/>
|
|
<delete dir="${dist}"/>
|
|
</target>
|
|
</project> |