/World/Sweden/Linköping/LiU/IDA/PELAB/Adrian Pop/Teaching/ Principles of Programming Languages and Environments (FDA119)

Mail: Adrian Pop
Dept. of Computer and Information Science
Linköpings universitet
581 83 Linköping, Sweden
Email: Email: adrpo@ida.liu.se
Phone: Phone: +46 (0)13 285781
Fax: Fax: +46 (0)13 142231
ULR: Building B, room 3B:478
ULR: Member of:
Software and Systems (SaS)
Programming Environments Laboratory (PELAB)
Documentation and Information Services (DIG)

Principles of Programming Languages and Environments

General Info

Mathematica info

To install Mathematica you can do the following:
In your account (Solaris) make a symbolic link:
ln -s /net/softis.isy.liu.se/export/install install

Then from your laptop mount your home directory
to some drive, say Z:
Then, on
Z:\install\mathematica\5.0.1\windows+macos+linux-password\PC
should be an installer. In the file:
Z:\install\mathematica\LICENSE
you find the License ID/password for Mathematica.

If you don't know how to do this, contact me, and I'll give a CD.

RML info

If you know how to handle Solaris and don't want to install RML for yourself, you can work remotely (remote.ida.liu.se).
Read: What installations are already available for Solaris at IDA.

To work with RML on your own computer you need to:

  • Install cygwin
  • Download RML package rml-2.1.10-cygwin.tar.bz2. Would be good to copy it to cygwin\home\your_user\
  • Start cygwin bash, unpack rml-2.1.10-cygwin.tar.bz2 like this:
    user@machine> bzip2 -d rml-2.1.10-cygwin.tar.bz2
    user@machine> tar -xf rml-2.1.10-cygwin.tar
  • Go to rml-2.1.10-cygwin directory:
    user@machine> cd rml-2.1.10-cygwin
    user@machine> make
  • Read what "make" command outputs and write it at the prompt (about setting your path).
  • End. That's it!
In the rml-2.1.10-cygwin/examples directory you can find some RML examples. Also, here you can find some more info about RML.

In case you run into problems or you have errors

Updates

  • Last Updated in 2004-10-18 by Adrian Pop


Page responsible: Adrian Pop
Last updated: 2004-11-24