Bump packages’ versions to the lastest Stackage or Hackage
release. Since packages are interdependent, do so in a single commit.
525 packages have been updated.
These packages have been removed, because they fail to build, have no
newer version available and no dependencies:
corrode
ghc-easytest
ghc-edisonapi
ghc-edisoncore
ghc-pandoc-types
ghc-regex-tdfa-text
These have been removed, because they are no longer required:
ghc-happy-1.19.9
ghc-prettyprinter-1.6
ghc-protolude-0.3
ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc
does not use them any more.
Co-authored-by: Xinglu Chen <public@yoctocell.xyz>
* gnu/packages/patches/idris-disable-test.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris): Update to 1.3.3.
[source]: Use the patch.
[native-inputs]: Add ghc-cheapskate.
[arguments]: Adjust cheapskate version bounds. Make auxiliary test script
executable.
See also 9e5496e0ae and
718dc7d4a5.
* gnu/packages/idris.scm (idris)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH', and one that restores the 'libidris_rts.a'
library back to the default output.
* gnu/packages/patches/idris-test-no-node.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris)[origin]: Use it.
[native-inputs]: New field.
[arguments]: Remove "#:tests? #f". Add custom 'check' phase after 'install'.
* gnu/packages/idris.scm (idris): Update to 1.3.0.
[inputs]: Remove ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and
ghc-trifecta-1.6.2.1; add ghc-aeson, ghc-cheapskate, and ghc-megaparsec.
[arguments]: Add a phase that patches the Cabal file to allow newer
versions of aeson.
(ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, ghc-trifecta-1.6.2.1): Remove.
Previously it would fail to build. See <https://bugs.gnu.org/30741>.
* gnu/packages/idris.scm (idris)[inputs]: alphebetize
ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0,
ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson,
ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun,
ghc-trifecta, and ghc-zlib.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
