diff --git a/build/ant b/build/ant new file mode 100644 index 000000000..2faf8ffd4 --- /dev/null +++ b/build/ant @@ -0,0 +1,42 @@ +#! /bin/sh + +# //--------------------------------------------------------------------------// +# // $RCSfile$ +# // $Revision$ +# // $Date$ +# // +# // Standard Jive Forums ant.bat file. Do not change this file. If you do, +# // you will have seven years of bad luck. +# //--------------------------------------------------------------------------// + +# //--------------------------------------------------------------------------// +# // Uncomment the following lines if you wish to set JAVA_HOME in this script +# //--------------------------------------------------------------------------// +# JAVA_HOME= +# EXPORT JAVA_HOME + +# //--------------------------------------------------------------------------// +# // Check for the JAVA_HOME environment variable // +# //--------------------------------------------------------------------------// +if [ "$JAVA_HOME" != "" ] ; then + # //----------------------------------------------------------------------// + # // Create Ant's classpath // + # //----------------------------------------------------------------------// + CP=$JAVA_HOME/lib/tools.jar:./ant.jar + + # //----------------------------------------------------------------------// + # // Run ant // + # //----------------------------------------------------------------------// + $JAVA_HOME/bin/java -classpath $CP -Dant.home=. org.apache.tools.ant.Main $@ +else + # //----------------------------------------------------------------------// + # // No JAVA_HOME error message // + # //----------------------------------------------------------------------// + echo "Jive Forums Build Error:" + echo "" + echo "The JAVA_HOME environment variable is not set. JAVA_HOME should point" + echo "to your java directory, ie: /usr/local/bin/jdk1.3. You can set" + echo "this via the command line like so:" + echo " export JAVA_HOME=/usr/local/bin/jdk1.3" +fi + diff --git a/build/ant.bat b/build/ant.bat new file mode 100644 index 000000000..7bc0b3719 --- /dev/null +++ b/build/ant.bat @@ -0,0 +1,51 @@ +@echo off + +rem //------------------------------------------------------------------------// +rem // $RCSfile$ +rem // $Revision$ +rem // $Date$ +rem // +rem // Standard Jive Forums ant.bat file. Do not change this file. If you do, +rem // you will have seven years of bad luck. +rem //------------------------------------------------------------------------// + +rem //------------------------------------------------------------------------// +rem // Uncomment the following if you wish to set JAVA_HOME in this bat file: +rem //------------------------------------------------------------------------// +rem SET JAVA_HOME= + +rem //------------------------------------------------------------------------// +rem // Check for the JAVA_HOME environment variable +rem //------------------------------------------------------------------------// +if "%JAVA_HOME%" == "" goto noJavaHome + +rem //------------------------------------------------------------------------// +rem // Make the correct classpath (should include the java jars and the +rem // Ant jars) +rem //------------------------------------------------------------------------// +SET CP=%JAVA_HOME%\lib\tools.jar;.\ant.jar;.\xmltask.jar + +rem //------------------------------------------------------------------------// +rem // Run Ant +rem // Note for Win 98/95 users: You need to change "%*" in the following +rem // line to be "%1 %2 %3 %4 %5 %6 %7 %8 %9" +rem //------------------------------------------------------------------------// +%JAVA_HOME%\bin\java -Xms32m -Xmx128m -classpath %CP% -Dant.home=. org.apache.tools.ant.Main %* +goto end + +rem //------------------------------------------------------------------------// +rem // Error message for missing JAVA_HOME +rem //------------------------------------------------------------------------// +:noJavaHome +echo. +echo Jive Forums Build Error: +echo. +echo The JAVA_HOME environment variable is not set. JAVA_HOME should point to +echo your java directory, ie: c:\jdk1.3.1. You can set this via the command +echo line like so: +echo SET JAVA_HOME=c:\jdk1.3 +echo. +goto end + +:end + diff --git a/build/ant.jar b/build/ant.jar new file mode 100644 index 000000000..8540bf509 Binary files /dev/null and b/build/ant.jar differ diff --git a/build/build.xml b/build/build.xml new file mode 100644 index 000000000..f6744e8ae --- /dev/null +++ b/build/build.xml @@ -0,0 +1,99 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Smack ${version}]]> +
JSmack ${version}]]>
+ Copyright © 2003 Jive Software. ]]> + + +
+
+ + + + + + + + + + +