git.iko.soy/Idris-dev
on master help sign in
Fix test for GHC 8.8
commit57624a859d35894e4853aa755967163a4c674c86 authorNiklas Larsson <niklas@mm.st> dateSat 25 Jan 2020, 03:53 (7 years ago) parentf784403
2 files changed+2−2
compare with master
unifiedsplit
Makefile+1−1 idris.cabal+1−1
Makefile+1−1
@@ -56,7 +56,7 @@ linecount:
5656
5757#Note: this doesn't yet link to Hackage properly
5858doc: dist/setup-config
59− $(CABAL) haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
59+ $(CABAL) v1-haddock --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"
6060
6161lib_doc:
6262 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
idris.cabal+1−1
@@ -396,7 +396,7 @@ Test-suite regression-and-feature-tests
396396 , filepath
397397 , directory
398398 , haskeline >= 0.7
399− , optparse-applicative >= 0.13 && < 0.15
399+ , optparse-applicative >= 0.13 && < 0.16
400400 , tagged
401401 , tasty >= 0.8
402402 , tasty-golden >= 2.0