RISC » FormalMethods07 » Resources » RISC Environment
 
 

RISC Environment

See also the report on The Software Environment at RISC.

You can login to the RISC computing environment from any PC running under Linux or MS Windows. All you need is
  • a RISC account (which I will hand out to you on demand),
  • a reasonably fast Internet connection,
  • an X-Server running on your PC,
  • an SSH client installed on your PC.
Then you can execute in a terminal window of your X-Server the command 
  ssh -X -l username compute.risc.uni-linz.ac.at
(assuming that your account is named username). You will be asked for a password and can login to the machine compute of the RISC environment.

The ssh option -X allows you to start programs with GUIs and have them displayed on your PC. After typing

  xterm &

a terminal window (executed in the RISC environment) should pop up on your PC.

Before you can execute the course software, you have to configure your environment by adding the following two lines to your initialization file in your RISC home directory.

tcsh users (file .tcshrc, default at RISC)
module load j2sdk/j2sdk-1.4.2_02
setenv PATH "$PATH":/zvol/formal/bin

bash users (file .bashrc)

module load j2sdk/j2sdk-1.4.2_02
export set PATH=$PATH:/zvol/formal/bin
The first command ensures that Java 1.4.2 is used (please note that ESC/Java 2 does not work with Java 5). The second command puts the directory with the RISC installation of the course software into your PATH (all software is installed in directory /zvol/formal with the executables in subdirectory bin).

Now logout and login again (respectively start a new terminal window) and check whether executing the command

java -version

works and displays the version string "1.4.2". Likewise execute

jml --version

to see whether you can start the JML software.

Last modified: Monday, 5 February 2007, 09:58 AM