RISC EnvironmentSee 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
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 bash users (file .bashrc) module load j2sdk/j2sdk-1.4.2_02 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: Thursday, 2 February 2006, 11:02 AM