hasufell/ghcup
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Introduce optional tarball caching, fixes #11

Browse Source
This commit is contained in:
Julian Ospald
2018-10-28 17:34:19 +08:00
parent 86ffcf81d9
commit e3bc9ce99c
2 changed files with 86 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.sh
View File

@@ -9,7 +9,7 @@ edo()
# install GHCs
edo ./ghcup -v install 8.2.2
edo ./ghcup -v install 8.4.3
edo ./ghcup -v install 8.6.1
edo ./ghcup -v -c install 8.6.1
# set GHC
edo ./ghcup -v set 8.6.1
@@ -19,6 +19,10 @@ edo ./ghcup -v set 8.4.3
edo ./ghcup -v rm -f 8.6.1
edo ./ghcup -v rm -f 8.4.3
# reinstall from cached tarball
edo ./ghcup -v -c install 8.6.1
edo ./ghcup -v rm -f 8.6.1
# set GHC
edo ./ghcup -v set 8.2.2