* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch ->
gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch.
* gnu/local.mk (dist_patch_DATA): Change registered name to new name.
* gnu/packages/agda.scm (agda-categories): Update to 0.2.0. Use new patch
name.
Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e
* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch.
* gnu/packages/agda.scm (agda-categories)[source]: Use it.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c
* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
* gnu/packages/patches/agda-categories-use-find.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-categories.
* gnu/packages/patches/agda-stdlib-use-runhaskell.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/agda.scm: New variable agda-stdlib.
* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only
need the source, which we can refer to without inheriting the whole thing.
* gnu/packages/agda.scm (agda): Update to 2.6.3, switch to fetching using git so
that doc files are included, and add new dependency ghc-vector-hashtables.
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>
See also 9e5496e0ae.
* gnu/packages/agda.scm (agda)[arguments]: Add a phase that sets
'LD_LIBRARY_PATH'; update the 'configure' phase to match the current
Haskell build system code.
This addresses a 'guix lint' warning.
* gnu/packages/agda.scm (agda-ial)[source]: Change to use 'git-fetch'.
[arguments]: Change 'install phase accordingly; adjust its 'find-files'
regexp.