CafeOBJ Interpreter

Version 1.6.0 2020-01-20

CafeOBJ is a new generation algebraic specification and programming language. As a direct successor of OBJ, it inherits all its features (flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, module expressions, etc.) but it also implements new paradigms such as rewriting logic and hidden algebra, as well as their combination.

The files in this directory and its sub directories constitute the complete source code for CafeOBJ interpreter.

CONTACT

Please use Github Issues for bug reports, requests, suggestions, etc.

Contact by email is available at `info AT cafeobj DOT org'.

BINARY DISTRIBUTION

You can down load the binary executable of several platforms from here.

REQUIREMENT for compiling the system from source files

CafeOBJ interpreter uses Common Lisp as a underlying implementation language, and can be built on one of the following platforms:

1. Allegro CL version 8.0 or later
2. SBCL version 1.1.7 or later (http://www.sbcl.org/platform-table.html)
3. CLISP 2.4.9 or later (http://www.clisp.org)

All of these Lisp systems are freely available except Allegro CL. Franz inc. provides free version, please refer to Franz's download site.

For more information on building see INSTALL

OBTAINING THE SOURCES

Source files are available from Github:

$ git clone https://github.com/CafeOBJ/cafeobj.git

INSTALLATION from sources

Change to the directory in which the cafeobj resources are put.

Please read the INSTALL contained in the distribution for full installation instructions. Here's a brief summary:

	$ cd cafeobj
	$ ./configure --with-lisp={YOUR-LISP}
 	$ make
	$ sudo make install

where,

YOUR-LISP ::= acl       ; Allegro CL
           |  sbcl      ; SBCL
           |  clisp     ; CLISP

NO WARRANTY

THIS SOFTWARE IS SUPPLIED COMPLETELY "AS IS". CafeOBJ is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANT-ABILITY of FITNESS FOR A PARTICULAR PURPOSE.