#!/bin/csh 
#  uppaal98
#  a small script running uppaal98
#  written by Carsten Weise
#  modified for java1.3 [M. Oliver M"oller  <omoeller@brics.dk>]
#  usage: uppaal98 <portno>
#  
#  this will start up uppaal98 using <portno> for the socketserver it will 
#  switch on the schoolEdition flag so that no experimental stuff is showing
#  it sets the working directory to the current directory

#  To adapt it to your system, change the value of $HERE to the
#  directory where you installed UppaalGUI. Also, if you are using jdk
#  1.1.7 or earlier, make sure swingall.jar is already in your
#  CLASSPATH.

set HERE = /users/btools/UPPAAL

if ($#argv != 1) then
#   echo "No portumber given. Using port number 2350."
   setenv PORTNR 2350
else
   setenv PORTNR $argv[1]
endif

/home/java/java1.3/bin/java -classpath $HERE/uppaal.jar:. UppaalGUI.Main -serverPort $PORTNR  -schoolEdition on -enginePath $HERE/bin-`uname -s`/ -engineName socketserver >& /dev/null
# echo "Good Bye"