# HG changeset patch
# User paulb
# Date 1192304397 0
# Node ID 01c5e053552a9d3793da1453f658327cc102579f
# Parent  ee8703d4e1cf549cf0cbd2d118726355d1d0e5ad
[project @ 2007-10-13 19:39:57 by paulb]
Added a compilation script for use when building the jython-webstack
package.

diff -r ee8703d4e1cf -r 01c5e053552a tools/JavaServlet/NOTES.txt
--- a/tools/JavaServlet/NOTES.txt	Sat Oct 13 19:39:28 2007 +0000
+++ b/tools/JavaServlet/NOTES.txt	Sat Oct 13 19:39:57 2007 +0000
@@ -1,7 +1,5 @@
-Before running build.py, compile the special PyServlet classes:
-
-CLASSPATH=$CATALINA_HOME/common/lib/servlet.jar:$JYTHON_HOME/jython.jar \
-    javac classes/uk/org/boddie/webstack/util/PyServlet.java
+Before running webstack_java_build.py, compile the special PyServlet classes
+using the compile.sh script provided.
 
 Any supplied classes will have been produced by compiling the given source code
 against libraries provided with the stated tested framework (see the main
diff -r ee8703d4e1cf -r 01c5e053552a tools/JavaServlet/compile.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/JavaServlet/compile.sh	Sat Oct 13 19:39:57 2007 +0000
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+if [[ $JYTHON_LIB == "" ]]; then
+    echo "Please set JYTHON_LIB to refer to the Jython .jar file."
+    echo
+    echo "For example:"
+    echo
+    echo "JYTHON_LIB=/usr/share/jython/jython.jar $0"
+    exit 1
+fi
+
+if [[ $SERVLET_LIB == "" ]]; then
+    echo "Please set SERVLET_LIB to refer to the servlet library .jar file."
+    echo
+    echo "For example:"
+    echo
+    echo "SERVLET_LIB=/usr/share/java/servlet-api.jar $0"
+    echo "SERVLET_LIB=\$CATALINA_HOME/common/lib/servlet.jar $0"
+    exit 1
+fi
+
+CLASSPATH=$SERVLET_LIB:$JYTHON_LIB \
+    javac `dirname $0`/classes/uk/org/boddie/webstack/util/PyServlet.java