0338341 · Idris-dev · git.iko.soy

appveyor.yml+5−4

@@ -6,9 +6,9 @@ init:

6 mkdir C:\ghc

7

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"

9−

9+

10 7z x C:\ghc\ghc.tar.xz -oC:\ghc

11−

11+

12 7z x C:\ghc\ghc.tar -oC:\ghc

13

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

@@ -21,6 +21,7 @@ environment:

21 MSYSTEM: MINGW64

22 MSYS2_PATH_TYPE: inherit

23build_script:

24+- ps: >-

24−- ps: c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && cabal install -fffi -j4 --enable-tests"

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

25test_script:

26test_script:

26−- ps: c:\msys64\usr\bin\bash -l -c "cd $env:current_posix && make test_c"

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

idris.cabal+1−1

@@ -360,7 +360,7 @@ Test-suite regression-and-feature-tests

360 , filepath

361 , directory

362 , haskeline >= 0.7

363− , optparse-applicative >= 0.11 && < 0.14

363+ , optparse-applicative >= 0.13 && < 0.15

364 , tagged

365 , tasty >= 0.8

366 , tasty-golden >= 2.0

rts/Makefile+1−1

@@ -31,7 +31,7 @@ LIBTARGET = libidris_rts.a

31build: $(LIBTARGET) $(DYLIBTARGET)

32

33$(LIBTARGET) : $(OBJS)

34− $(AR) r $(LIBTARGET) $(OBJS)

34+ $(AR) rc $(LIBTARGET) $(OBJS)

35 $(RANLIB) $(LIBTARGET)

36

37install :