Merge remote-tracking branch 'origin/merge-requests/10'

This commit is contained in:
Julian Ospald 2020-06-14 11:50:02 +02:00
commit 8f4ef48891
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 5 additions and 3 deletions

View File

@ -4,6 +4,8 @@
(
: "${GHCUP_INSTALL_BASE_PREFIX:=$HOME}"
: "${BOOTSTRAP_HASKELL_GHC_VERSION:=recommended}"
: "${BOOTSTRAP_HASKELL_CABAL_VERSION:=recommended}"
die() {
(>&2 printf "\\033[0;31m%s\\033[0m\\n" "$1")
@ -127,10 +129,10 @@ if [ -z "${BOOTSTRAP_HASKELL_NONINTERACTIVE}" ] ; then
read -r answer </dev/tty
fi
eghcup --cache install
eghcup --cache install "${BOOTSTRAP_HASKELL_GHC_VERSION}"
eghcup set
eghcup --cache install-cabal
eghcup set "${BOOTSTRAP_HASKELL_GHC_VERSION}"
eghcup --cache install-cabal "${BOOTSTRAP_HASKELL_CABAL_VERSION}"
edo cabal new-update