/World/Sweden/Linköping/LiU/IDA/PELAB/Adrian Pop/Teaching/ Semantic Specification of Types and Programming Languages

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)

Semantic Specifications of Types and Programming Languages

General Info

RML setting and debugging crashcourse

  • Can be found here.

RML info

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

  • Install cygwin
  • Download RML package rml-2.2.2-cygwin.tar.bz2. Would be good to copy it to cygwin\home\your_user\. Please note that the path shouldn't contain spaces!
  • Beware that sometimes when using Internet Explorer the file is saved as rml-2.2.2-cygwin.tar.tar instead of tar.bz2. Please rename after downloading.
  • Start cygwin bash, unpack rml-2.2.2-cygwin.tar.bz2 like this:
    user@machine> bzip2 -d rml-2.2.2-cygwin.tar.bz2
    user@machine> tar -xf rml-2.2.2-cygwin.tar
  • Go to rml-2.2.2-cygwin directory:
    user@machine> cd rml-2.2.2-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.2.2-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


  • Last Updated in 2005-03-17 by Adrian Pop

Page responsible: Adrian Pop
Last updated: 2005-03-17