git.iko.soy/Idris-dev
on master help sign in
Use GHC 7.10.3 instead
commit4289e42812d76fe023a3a2fa9b7dba8f1db475a7 authorNiklas Larsson <niklas@mm.st> dateThu 11 Aug 2016, 00:39 (10 years ago) parent879cebc
1 file changed+2−2
compare with master
unifiedsplit
appveyor.yml+2−2
appveyor.yml+2−2
@@ -5,13 +5,13 @@ init:
55
66 mkdir C:\ghc
77
8− Invoke-WebRequest "http://downloads.haskell.org/~ghc/8.0.1/ghc-8.0.1-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
8+ Invoke-WebRequest "http://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
99
1010 7z x C:\ghc\ghc.tar.xz -oC:\ghc
1111
1212 7z x C:\ghc\ghc.tar -oC:\ghc
1313
14− $env:PATH="$env:PATH;c:\ghc\ghc-8.0.1\bin;$HOME\AppData\Roaming\cabal\bin"
14+ $env:PATH="$env:PATH;c:\ghc\ghc-7.10.3\bin;$HOME\AppData\Roaming\cabal\bin"
1515
1616 cabal update
1717