609f712 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix appveyor

By upgrading GHC

commit609f712d6cac0cb69aec6722341b4ce1796149ad authorNiklas Larsson <metaniklas@gmail.com> dateFri 1 Mar 2019, 19:05 (8 years ago) parentafd5c9a

3 files changed+6−7

compare with master

unifiedsplit

appveyor.yml+4−4 test/pkg008/expected+1−3 test/pkg008/maths.ipkg+1

appveyor.yml+4−4

@@ -5,15 +5,15 @@ init:

66 mkdir C:\ghc

8− Invoke-WebRequest "http://downloads.haskell.org/~ghc/8.2.1/ghc-8.2.1-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"

8+ Invoke-WebRequest "http://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"

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.2.1\bin;$HOME\AppData\Roaming\cabal\bin"

14+ $env:PATH="$env:PATH;c:\ghc\ghc-8.4.3\bin;$HOME\AppData\Roaming\cabal\bin"

1515

16− cabal update

16+ cabal v1-update

1717

1818 $env:current_posix=c:\msys64\usr\bin\cygpath -u $(pwd)

1919

@@ -22,6 +22,6 @@ environment:

2222 MSYS2_PATH_TYPE: inherit

2323build_script:

2424- ps: >-

25− c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal install -fffi --enable-tests 2>&1"

25+ c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal v1-install -fffi --enable-tests 2>&1"

2626test_script:

2727- ps: c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && make test_c 2>&1"

test/pkg008/expected+1−3

@@ -1,10 +1,8 @@

11Entering directory `./src'

2−Type checking ./NumOps.idr

3−Type checking ./Test.idr

42Leaving directory `./src'

5−Entering directory `./src'

63Test Passed

74Test Passed

5+Entering directory `./src'

86Leaving directory `./src'

97Entering directory `./src'

108Removed: NumOps.ibc

test/pkg008/maths.ipkg+1

@@ -2,6 +2,7 @@ package maths

33sourcedir = src

5+opts = "--quiet"

56modules = NumOps

67 , Test