Fixed prism3to4 script.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@780 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism3to4

@@ -1,17 +1,23 @@
 #!/bin/sh
 
+# Script for conversion of old PRISM files (Linux/Solaris)
+
 if [ "$1" = "" ]; then
   echo "Usage: prism3to4 <file> [<outfile>]"
   exit
 fi
 
+# Run using main PRISM script with this class
+PRISM_MAINCLASS="parser.Prism3To4"
+export PRISM_MAINCLASS
+
 if [ "$2" = "" ]; then
-  java -cp ~/prism-parser/classes parser.Prism3To4 "$1"
+  prism "$1"
 else
   if [ "$2" = "$1" ]; then
-    ( java -cp ~/prism-parser/classes parser.Prism3To4 "$1" > "$2".new && mv "$2".new "$2" ) || rm "$2".new
+    ( prism "$1" > "$2".new && mv "$2".new "$2" ) || rm "$2".new
   else
-    java -cp ~/prism-parser/classes parser.Prism3To4 "$1" > "$2"
+    prism "$1" > "$2"
   fi
 fi