export SMV_DIR=/chalmers/users/emax/Program/SMV
export PATH=$SMV_DIR/bin:$PATH
export LD_LIBRARY_PATH=$SMV_DIR/lib:$LD_LIBRARY_PATH
export Lava2000_SMV=smv

#Workaround for a persmission bug in the chalmers-lava2000-1.1.1 package:
chmod +x $HOME/.cabal/share/chalmers-lava2000-1.1.1/Scripts/smv.wrapper