# Source this file. All toolchain state lives under /apps; nothing under /home or /tmp.
export TC=/apps/development/rlhf/toolchains
export REAL_HOME=${REAL_HOME:-$HOME}
export HOME=$TC/home   # some tools (Charon miri-sysroot) write to $HOME/.cache regardless of XDG_*
export RUSTUP_HOME=$TC/rustup CARGO_HOME=$TC/cargo OPAMROOT=$TC/opam ELAN_HOME=$TC/elan
export TMPDIR=$TC/tmp TMP=$TC/tmp TEMP=$TC/tmp
export XDG_CACHE_HOME=$TC/cache XDG_CONFIG_HOME=$TC/config XDG_DATA_HOME=$TC/share
export OPAMNODEPININGS=1 OPAMYES=1 OPAMJOBS=4 CARGO_BUILD_JOBS=4
export OPAMCONFIRMLEVEL=unsafe-yes
export LOCAL_PREFIX=$TC/local
export PATH=$CARGO_HOME/bin:$ELAN_HOME/bin:$TC/bin:$LOCAL_PREFIX/bin:$PATH
export C_INCLUDE_PATH=$LOCAL_PREFIX/include LIBRARY_PATH=$LOCAL_PREFIX/lib LD_LIBRARY_PATH=$LOCAL_PREFIX/lib${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}
export CPATH=$LOCAL_PREFIX/include PKG_CONFIG_PATH=$LOCAL_PREFIX/lib/pkgconfig
mkdir -p $TMPDIR $XDG_CACHE_HOME $XDG_CONFIG_HOME $XDG_DATA_HOME