Downloads and Installation

InfiniTe Home

Downloads

Download the InfiniTe source code. 

In addition you will need to install:

• JDK 1.3.0_02
• Jakarta Tomcat Version 3.2.3
• Jakarta Ant Version 1.3
• JDOM Version  Beta 6
• Xerces Version 1.4.0
• Xalan Version 2.1.0
• ChimeraAPI.jar
• Siena Version 1.3.0

InfiniTe has been tested with these versions.  Later versions should work as well.  

Installation Instructions

Compiling the source and deploying InfiniTe

First create the following directory structure:

In the serl directory, unzip the InfiniTe source code file (infinite.tar.gz) using your favorite utility. You should now see the following directory structure beneath the serl directory:

To compile the code using Ant, you will need to modify build.xml to accommodate your setup. The build.xml file is located in the .../Projects/infinite/edu/colorado/cs/serl/infinite directory. 

1. Modify the src property to point at the top level infinite directory created previously.
2. Modify the jars property to indicate where the jar files are located.  You should include the following jar files:
   • jdom.jar
   • siena.jar
   • xalan.jar
   • xerces.jar
   • chimeraAPI.jar
3. Modify the tomcat property to indicate where you have installed Jakarta Tomcat.

You will also need to modify the fileBase property in the file web.xml  which is located in the .../Projects/infinite/edu/colorado/cs/serl/infinite directory to point to the jakarta-tomcat ... /webapps directory.  The fileBase property should be an absolute path with the correct slashes (\ or /) for your system.  It should end with a final slash. For example:

Unix: 

<context-param>

    <param-name>fileBase</param-name> 

    <param-value>/Users/kena/Java/tomcat/webapps/</param-value> 

</context-param> 

Windows: 

<context-param> 

    <param-name>fileBase</param-name> 

    <param-value>c:\jakarta-tomcat-3.2.3\webapps\</param-value> 

</context-param>

build.xml defines several targets to compile and deploy InfiniTe.  These are described below.  For more information on Jakarta Ant see http://jakarta.apache.org/ant/index.html

• compile - compiles the InfiniTe source
• dist - creates infinte.jar
• deploy - moves files to the proper location for the web server
• clean - deletes class and distribution files 
• clean-deploy - deletes InfiniTe web server files

cd to the .../Projects/infinite/edu/colorado/cs/serl/infinite directory and run ant deploy to compile and deploy the entire application.