# Charles Andre - October 27, 2006

ESHOME=/opt/esterelstudio
ESTEREL=$ESHOME
ESTERELD_LICENSE_FILE=29030@1srv.polytech.unice.fr

export ESHOME ESTEREL ESTERELD_LICENSE_FILE

PATH=$ESHOME/bin:$PATH

# comment out the following line
# export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/net/opt/gcc/3.0.4/lib

export LD_LIBRARY_PATH=$ESHOME/bin:$LD_LIBRARY_PATH

CC=gcc
# set the following variables to your favorite process
LPR=lp
EDITOR=emacs
PDFVIEWER=acroread
NAVIGATOR=mozilla