diff build.xml @ 0:e45bf6020b0d draft

add play files
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 18 Sep 2012 04:36:47 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build.xml	Tue Sep 18 04:36:47 2012 +0900
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+This file provides limited functionalities for system without Python.
+If Python is available, the play command is recommended over this build file.
+
+Usage:
+Example 1:
+    export PLAY_PATH=/home/user/play
+    ant run
+Sets play path to the environment variable PLAY_PATH and then runs play with target run.
+
+Example 2:
+    ant run -Dplay.path=/home/user/play
+Gives the play path to the ant as command line property.
+
+Example 3:
+  build.xml:
+    ...
+    <property name="play.path" value="/home/user/play"/>
+    ...
+
+    ant run
+Sets the play path to the build.xml directly.
+-->
+<project basedir=".">
+
+    <property environment="env"/>
+    <property name="play.path" value="${env.PLAY_PATH}"/>
+    <import file="${play.path}/resources/application-build.xml"/>
+
+</project>