git.iko.soy/Idris-dev
on master help sign in
Idris-dev/appveyor.yml
27 lines 753 B history raw
1version: 1.0.{build}
2init:
3- ps: >-
4 choco install cabal --no-progress
6 mkdir C:\ghc
8 Invoke-WebRequest "https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
10 7z x C:\ghc\ghc.tar.xz -oC:\ghc
12 7z x C:\ghc\ghc.tar -oC:\ghc
14 $env:PATH="$env:PATH;c:\ghc\ghc-8.8.2\bin;$HOME\AppData\Roaming\cabal\bin"
16 cabal v1-update
18 $env:current_posix=c:\msys64\usr\bin\cygpath -u $(pwd)
20environment:
21 MSYSTEM: MINGW64
22 MSYS2_PATH_TYPE: inherit
23build_script:
24- ps: >-
25 c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal v1-install -fffi --enable-tests 2>&1"
26test_script:
27- ps: c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && make test_c 2>&1"