Macao ReadMe

### Installing Macao application

`setenv LATITUDE_ROOT <`installation place`>/macao cd <`installation place`> gunzip Macao2.7SB5DR2-US.tar.gz tar xvf Macao2.7SB5DR2-US.tar`

### Configuring your HOME environment for Macao

- Add three lines in your `.cshrc`

  `setenv LATITUDE_ROOT <`installation place`>/macao setenv LD_LIBRARY_PATH /usr/dt/lib:$LD_LIBRARY_PATH set path=($path $LATITUDE_ROOT/bin)`

- Configure the 'System Folder' equivalent

      $LATITUDE_ROOT/bin/user.setup

  `user.setup` installs a user-writable System Folder (in `~/`login`.MacFiles` directory) so your preferences can be saved between uses of Macao. It then installs application default files (`~/Latitude`) in your home directory and reminds you to put the Latitude binary in your path.
  `user.setup` will also copy formalism file in you home directory for
  - `AMI-Net` (Petri nets),
  - `ReachabilityGraph`,
  - `Branching-Process`,
  - `Graph`,
  - `Automata`.
  - an AMI-Net example `Philosophers.Live`

  If you want to move these files, do not forget that there are in AppleDouble format : do not forget to move the `FileName` and `%FileName`.

### Run macao

>     macao &

> The first time macao will create a `.macao` directory. In this directory, it will create a `Font` directory for the Font cache, a `Preferences` directory for `Macao Prefs` file.