Installing CafeOBJ binaries

This is the installation instructions for the CafeOBJ binaries for several Unix operating systems. From this page you can download these binaries.

Please do the following steps:
1. get a binary package from this page (binary packages are named cafeobj-1.4-bin.xxx.tar.gz, where xxx is a name of OS like solaris, sunos, linux and etc.),
2. copy it to an adequate place (We call this place "$CAFE". We assume $CAFE=/usr/local/cafe, so please use this directory unless it is difficult. See step 5 for sunos),
3. unzip and untar the package:
```
% cd $CAFE
```
```
% gunzip cafeobj-1.4-bin-xxx.tar.gz
```
```
% tar xvof cafeobj-1.4-bin-xxx.tar
```
4. make a symbolic link:
```
% ln -s $CAFE/cafeobj-1.4/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/cafe except sunos (/ldl/src/lang/cafe for sunos). If you install the binary package not to the default one then create a file named ".cafeobj" in your home directry contains the following two lines:
```
 set libpath $CAFE/cafeobj-1.4/prelude:$CAFE/cafeobj-1.4/exs
```
```
 in std
```

If you find any bugs in CafeOBJ, please E-mail them to T. Sawada (sawada@sra.co.jp). Any other suggestions or comments are also welcome. If you have any questions about this installation guide or binary packages, please E-mail to S. Iida (s_iida@jaist.ac.jp).

Back to CafeOBJ Home Page