Fix travis

This commit is contained in:
Julian Ospald 2019-01-07 11:39:49 +08:00
parent 7d40a32a48
commit 64e9d26270
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -32,13 +32,11 @@ edo ./ghcup -v rm -f 8.2.2
# install default GHC # install default GHC
edo ./ghcup -v install edo ./ghcup -v install
edo ./ghcup -v set
# install latest GHC # install latest GHC
edo ./ghcup -v install latest edo ./ghcup -v install latest
# FIXME: this might break from time to time depending on recommended GHC
edo ./ghcup -v set 8.4.4
export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$HOME/.local/bin:$PATH" export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$HOME/.local/bin:$PATH"
edo mkdir -p "$HOME"/.local/bin edo mkdir -p "$HOME"/.local/bin