Installation of the OPTIMIX binary

For sh:

• Unpack the file optimix-<release>.tgz.
  sh>> zcat optimix-<release>.tgz | tar cvf -
• sh>> cd optimix-<release>
• sh>> make INSTALLDIR=<your install dir> bin-install $INSTALLDIR should be the directory root of two subdirectories bin and man where binary and man-page should reside
• sh>> export OPTIMIXDIR=<your optimix source directory>, probably there where you unpacked.
  You may also add $OPTIMIXDIR/bin to your path.
• Try optimix with some examples in the sub-directory demo:

  sh>> cd $OPTIMIXDIR/demo/ast 
  sh>> for i in *.ox
  sh>> do
  sh>>    optimix $i;
  sh>> done