# One way to set the BCPLPATH and PATH environment variables
# for the BCPL Cintcode system is as follows:

# Edit the following line to specify the cintcode home directory
# on your machine, and then execute the shell command:

# . ./setenv

export CINTCODE=$HOME/BCPL/cintcode

export BCPLPATH=$CINTCODE
export PATH=$PATH:$CINTCODE
