RISC » FormalMethods05 » Forums » News forum » Java at RISC
Search 
 
Java at RISC
by Wolfgang Schreiner - Wednesday, March 23 2005, 01:13 PM
  Dear RISC software users,

to use the formal methods course software, please put the commands

  module load j2sdk/j2sdk-1.4.2_02
  setenv PATH "$PATH":/zvol/formal/bin

in your ".tcshrc" file. Issuing the commands

  java -version
  jml

should then work (the "module" command is necessary to make sure that you have java 1.4.2 in your PATH, otherwise you will get a very old java version with which the JML tools do not work).

Regards, WS

Reply