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.