Warning: Can't synchronize with repository "(default)" (/local/svn/repos/sde does not appear to be a Subversion repository.). Look in the Trac log for more information.

Changes between Version 2 and Version 3 of SpinAndUppaalWebServices


Ignore:
Timestamp:
05/25/07 09:35:03 (10 years ago)
Author:
mayer
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • SpinAndUppaalWebServices

    v2 v3  
    1616 * Download and deploy [http://ws.apache.org/axis/ Apache Axis] within Tomcat (tested with 1.4) 
    1717 * Deploy the Web services inside the Axis directory (using the ant scripts provided) 
     18  * You need to set CATALINA_HOME to your tomcat root directory prior to running ant 
     19  * Running build.xml will automatically deploy the Web service 
     20  * Make sure Apache Tomcat can find the spin and uppaal (verifyta) executables in the PATH