diff --git a/build/README.html b/build/README.html index d251dd606..0f3256316 100644 --- a/build/README.html +++ b/build/README.html @@ -74,8 +74,7 @@ compile and make changes to the Smack source code. http://www.jivesoftware.org/smack/. The Smack build process is based on Ant. Visit the Ant website -for more information. There is no need to download and install Ant - a version of it is included -in this distribution. +for more information and downloads.
This documentation is divided into two sections:
diff --git a/build/ant b/build/ant
deleted file mode 100644
index 0543a62e2..000000000
--- a/build/ant
+++ /dev/null
@@ -1,42 +0,0 @@
-#! /bin/sh
-
-# //--------------------------------------------------------------------------//
-# // $RCSfile$
-# // $Revision$
-# // $Date$
-# //
-# // Standard Jive Software ant file. Do not change this file. If you do,
-# // you will have seven years of bad luck and bad builds.
-# //--------------------------------------------------------------------------//
-
-# //--------------------------------------------------------------------------//
-# // 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:./junit.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
deleted file mode 100644
index 365e9c4a8..000000000
--- a/build/ant.bat
+++ /dev/null
@@ -1,51 +0,0 @@
-@echo off
-
-rem //------------------------------------------------------------------------//
-rem // $RCSfile$
-rem // $Revision$
-rem // $Date$
-rem //
-rem // Standard Jive Software ant.bat file. Do not change this file. If you do,
-rem // you will have seven years of bad luck and bad builds.
-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;.\junit.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
deleted file mode 100644
index dcd4b8da8..000000000
Binary files a/build/ant.jar and /dev/null differ
diff --git a/build/build.xml b/build/build.xml
index 63f911448..ae2e87525 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -28,7 +28,7 @@