Installing CafeOBJ binaries

• Please do the following steps:
  1. get the binary package.
  2. copy it to an adequate place (We call this place "$CAFE". We assume $CAFE=/usr/local/cafeobj-1.4, so please use this directory unless it is difficult.
  3. unzip and untar the package:

     % cd $CAFE

     % gunzip cafeobj-1.4.4PigNose0.95c-bin-linux.tar.gz

     % tar xvof cafeobj-1.4.4PigNose0.95c-bin-linux.tar

  4. make a symbolic link:

     % ln -s $CAFE/bin/cafeobj.exe /usr/local/bin/cafeobj

     where "/usr/local/bin" can be any place that you usually palce your binaries,

  5. the binary packages are assume to be installed into /usr/local/cafeobj-1.4. If you install the binary package not to the default one then you must change the symbolic link acordingly.