# -------------------------------------------------------------------- # 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 ) then setenv CIAOARCH `ciao_get_arch` endif # # This is just to be able older to run versions of Ciao which looked # at ARCH instead of CIAOARCH: #if ( ${?ARCH} == 0 ) then # setenv ARCH `ciao_get_arch` #endif # # # 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. # setenv CIAODOCDIR /usr/share/doc/ciao-1.10p8 # # -------------------------------------------------------------------- # # 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. # # setenv CIAOHOME /home/clip/Systems/ciao # setenv CIAOLIB ${CIAOHOME} # setenv CIAOENGINE ${CIAOHOME}/bin/${CIAOARCH}/ciaoengine # setenv PATH ${CIAOHOME}/ciaoc:${CIAOHOME}/shell:${PATH} # # setenv PATH /home/clip/Systems/ciaopp/src:${PATH} # --------------------------------------------------------------------