Wed Sep 25 08:54:16 CEST 2019

To compile and run the command bcg_kappa, the CADP toolbox must be properly
installed. In particular the $CADP and $PATH environment variables should be
defined as explained at http://cadp.inria.fr for more information.

The command bcg_kappa is not to be called directly. It is called by the shell
command bcg_sharp, which itself is called by the SVL scripts provided in this
archive.

To compile bcg_kappa, run the command

	make

which will produce an executable named ../bin.$ARCH/bcg_kappa, where $ARCH
is the result of the command $CADP/com/arch.



