I have finally finished the Portfile for CafeOBJ, which allows users to install CafeOBJ via the usual port command of MacPorts. For one needs to add our local source (which only ships CafeOBJ port), but I hope to get the port into the standard distribution soon.
Necessary steps:
- Add the following line to your MacPorts sources.conf, which usually resides in /opt/local/etc/macports/sources.conf:
http://cafeobj.org/macport/ports.tar.gz
- After that, call the following two commands (as root or with sudo), the first syncronizing the ports, the second one installing CafeOBJ:
port sync port install cafeobj
This should give you a working installation of CafeOBJ 1.5.3. The port will be updated as soon as 1.5.4 is released (which should be rather soon).
Enjoy, and please leave comments and suggestions how to improve the port file here, per email, or at our bug tracker.