git.iko.soy/Idris-dev
on master help sign in
Fix test for GHC 8.8
57624a8Niklas Larsson
Makefile+1−1
compare with master
unifiedsplit
@@ -56,7 +56,7 @@ linecount:
56
56
57#Note: this doesn't yet link to Hackage properly
57#Note: this doesn't yet link to Hackage properly
58doc: dist/setup-config
58doc: 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"
60
60
61lib_doc:
61lib_doc:
62 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
62 $(MAKE) -C libs IDRIS=../../dist/build/idris/idris doc
idris.cabal+1−1
@@ -396,7 +396,7 @@ Test-suite regression-and-feature-tests
396 , filepath
396 , filepath
397 , directory
397 , directory
398 , haskeline >= 0.7
398 , haskeline >= 0.7
399− , optparse-applicative >= 0.13 && < 0.15
399+ , optparse-applicative >= 0.13 && < 0.16
400 , tagged
400 , tagged
401 , tasty >= 0.8
401 , tasty >= 0.8
402 , tasty-golden >= 2.0
402 , tasty-golden >= 2.0