
   README of the directory option

This directory contains the specification files to generate the 
frontend for the options.
The directory COMPILER contains the generated sources.
You can start the process of generation by calling 'make gen'.

