with your Chalmers login. Place the file .tcshrc in your home directory (or append the lines if the file already exists). Now, when you log in, you should see the message
"Done: settings for Modelsim and Lava"
If you cannot see this message, you may be running the wrong shell type. Just type
at the prompt to start a shell where these settings work.
for which you will need a special account for the CE computers. If you don't already have such an account, ask us and we will provide one. Once you have logged in, give one of the commands
for version 6.2f, or
for the version used on Persephone.
You can also put that line in the file .tcshrc to make it run automatically on login.
To run it, type
tcsh(if necessary) and then
(or add this to your
.tcshrcfile). Jasper Gold is then started by the command
The older version 4.1 of Jasper Gold seems to be available on Persephone (for use with just a Chalmers account), though the license has probably expired. We will use that version only if something goes wrong. (The newer version has quite a few new features.)
Xis 1/2/3/4) if you need to SSH to an appropriate Linux computer. When you come to use Lava, you will probably already have followed the instructions above about adding the file .tcshrc in your home directory. Now, to start Lava, give the command
filename.hsis your Lava program. You can also use
lavaGhciif you want use the GHC compiler instead.
It is also possible to get (from us) a version of Lava for use on your own PC. More about that later.