make ghcup install available everywhere

Signed-off-by: Gerwin Klein <[email protected]>

dockerfiles/l4v.Dockerfile

@@ -30,5 +30,3 @@ RUN /bin/bash /tmp/l4v.sh \
     && apt-get clean autoclean \
     && apt-get autoremove --purge --yes \
     && rm -rf /var/lib/apt/lists/*
-
-ENV PATH "${PATH}:/opt/mlton/bin"

scripts/camkes.sh

@@ -92,6 +92,7 @@ curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_H
 
 # shellcheck disable=SC1091
 source "$GHCUP_INSTALL_BASE_PREFIX/.ghcup/env"
+echo "export GHCUP_INSTALL_BASE_PREFIX=/opt/ghcup" >> "$HOME/.bashrc"
 echo "source $GHCUP_INSTALL_BASE_PREFIX/.ghcup/env" >> "$HOME/.bashrc"
 
 as_root rm -f "$GHCUP_INSTALL_BASE_PREFIX"/.ghcup/cache/*

scripts/l4v.sh

@@ -7,6 +7,9 @@
 
 set -exuo pipefail
 
+# make sure PATH etc is set up
+source "$HOME/.bashrc"
+
 # Source common functions
 DIR="${BASH_SOURCE%/*}"
 test -d "$DIR" || DIR=$PWD

scripts/utils/user.sh

@@ -108,10 +108,13 @@ grep "export" /root/.bashrc >> "/home/${UNAME}/.bashrc"
 # Note that this block does not do parameter expansion, so will be
 # copied verbatim into the user's .bashrc.
 # We use this to ensure they have the repo program in their path,
+# that they pick up any potentially present Haskell installation,
 # and to ensure they start in the /host dir (aka, their own file
 # path)
 cat << 'EOF' >> "/home/${UNAME}/.bashrc"
 export PATH=/scripts/repo:$PATH
+export GHCUP_INSTALL_BASE_PREFIX=/opt/ghcup
+[ -r /opt/ghcup/.ghcup/env ] && source /opt/ghcup/.ghcup/env
 cd /host
 EOF
 
@@ -128,6 +131,9 @@ chown -R "$chown_setting" /isabelle
 # Isabelle expects a home dir folder.
 ln -s /isabelle "/home/${UNAME}/.isabelle"
 
+# Make Haskell installation writable if it exists
+[ -d /opt/ghcup ] && chown -R "${UNAME}" /opt/ghcup
+
 # Make sure the user owns their home dir
 chown -R "$chown_setting" "/home/${UNAME}"
 chmod -R ug+rw "/home/${UNAME}"