|
|
@ -5,10 +5,15 @@
|
|
|
|
# Sebastian Wiesner <lunaryorn@gmail.com>
|
|
|
|
# Sebastian Wiesner <lunaryorn@gmail.com>
|
|
|
|
#
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Set $OPAMROOT
|
|
|
|
|
|
|
|
if [[ -z "$OPAMROOT" ]]; then
|
|
|
|
|
|
|
|
export OPAMROOT="${HOME}/.opam"
|
|
|
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Return if requirements are not found.
|
|
|
|
# Return if requirements are not found.
|
|
|
|
if [[ ! -f "$HOME/.opam/opam-init/init.zsh" ]]; then
|
|
|
|
if [[ ! -f "$OPAMROOT/opam-init/init.zsh" ]]; then
|
|
|
|
return 1
|
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Initialize OPAM.
|
|
|
|
# Initialize OPAM.
|
|
|
|
source "$HOME/.opam/opam-init/init.zsh"
|
|
|
|
source "$OPAMROOT/opam-init/init.zsh"
|
|
|
|