| # 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 | |