# --------------------------------------------------------------------
# Warning: this file has been edited automatically during installation
# This file is meant for inclusion in user initialization scripts
# --------------------------------------------------------------------
#

#
# Setting engine related paths: 
# 
# Setting this variable allows you to run the same Ciao executables in
# different architectures, provided you have compiled and installed
# the corresponding engine (and libraries, if the executable is not
# static and/or .so libraries are used).
#
if [ ${CIAOARCH:-0} = 0 ]
then
    CIAOARCH=`ciao_get_arch` ; export CIAOARCH
fi
#
# This is just to be able to run older versions of Ciao which looked
# at ARCH instead of CIAOARCH:
#
#if [ ${ARCH:-0} = 0 ]
#then
#    ARCH=`ciao_get_arch` ; export ARCH
#fi
#
#
# Documentation-related paths:
#
# Setting this variable makes the manuals accessible to emacs (via M-x
# info), the GNU info standalone manuals browser (type info at the
# command line), the unix man command, etc.
# 
CIAODOCDIR=/usr/share/doc/ciao-1.10p8 ; export CIAODOCDIR
# 
# --------------------------------------------------------------------
# 
# Note for the Ciao developers: the following settings may be useful
# if you want to use the version currently in the development
# directory. Please refer to the INSTALL file.
# 
# CIAOHOME=/home/clip/Systems/ciao ; export CIAOHOME
# CIAOLIB=${CIAOHOME} ; export CIAOLIB
# CIAOENGINE=${CIAOHOME}/bin/${CIAOARCH}/ciaoengine ; export CIAOENGINE
# PATH=${CIAOHOME}/ciaoc:${CIAOHOME}/shell:${PATH}
# 
# PATH=/home/clip/Systems/ciaopp/src:${PATH}
# --------------------------------------------------------------------