Commit graph

83840 commits

Author SHA1 Message Date
phodina via Guix-patches via f44d7f68e6
gnu: Add joycond.
* gnu/packages/games.scm (joycond): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-10-08 12:12:44 +02:00
Nicolas Goaziou f45f482e9b
gnu: plocate: Update to 1.1.12.
* gnu/packages/search.scm (plocate): Update to 1.1.12.
2021-10-08 12:08:43 +02:00
Alexandr Vityazev 55092b4980
gnu: Add plocate.
* gnu/packages/search.scm (plocate): New variable.

Add the required imports from (guix build-system meson) and
(gnu packages pkg-config).

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-10-08 12:07:35 +02:00
Alexandr Vityazev d3862d12bb
gnu: Add emacs-skempo.
* gnu/packages/emacs-xyz.scm (emacs-skempo): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-10-08 12:04:47 +02:00
Alexandr Vityazev 2a7c57370c
gnu: Add emacs-taxy.
* gnu/packages/emacs-xyz.scm (emacs-taxy): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-10-08 12:00:15 +02:00
Efraim Flashner 58927767b8
gnu: julia-chainrulestestutils: Update to 1.2.3.
* gnu/packages/julia-xyz.scm (julia-chainrulestestutils): Update to 1.2.3.
2021-10-08 11:19:11 +03:00
Efraim Flashner 3c6ff2b9d1
gnu: julia-lazyarrays: Update to 0.22.2.
* gnu/packages/julia-xyz.scm (julia-lazyarrays): Update to 0.22.2.
2021-10-08 11:19:11 +03:00
Efraim Flashner d92bd67995
gnu: julia-nnlib: Enable tests.
* gnu/packages/julia-xyz.scm (julia-nnlib)[arguments]: Don't skip tests.
Rename drop-cuda-support phase to skip-cuda-tests and remove extra call
to cuda library.
2021-10-08 11:19:11 +03:00
Efraim Flashner 28f0a15be2
gnu: julia-nnlib: Update to 0.7.29.
* gnu/packages/julia-xyz.scm (julia-nnlib): Update to 0.7.29.
2021-10-08 11:19:10 +03:00
Efraim Flashner d6bebca94d
gnu: julia-staticarrays: Update to 1.2.13.
* gnu/packages/julia-xyz.scm (julia-staticarrays): Update to 1.2.13.
2021-10-08 11:19:10 +03:00
Efraim Flashner 09ee0df82e
gnu: julia-reexport: Update to 1.2.2.
* gnu/packages/julia-xyz.scm (julia-reexport): Update to 1.2.2.
2021-10-08 11:19:08 +03:00
Lars-Dominik Braun c8a7ba621b
gnu: pigx-scrnaseq: Remove dependency on pandoc-citeproc.
* gnu/packages/patches/pigx-scrnaseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-scrnaseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.
2021-10-08 09:13:55 +02:00
Lars-Dominik Braun 26488f63b8
gnu: pigx-rnaseq: Remove dependency on pandoc-citeproc.
* gnu/packages/patches/pigx-rnaseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-rnaseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.
2021-10-08 09:13:55 +02:00
Lars-Dominik Braun 07f2e4993b
gnu: pigx-chipseq: Remove dependency on pandoc-citeproc.
* gnu/packages/patches/pigx-chipseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-chipseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun e51a3f4a72
gnu: pigx-sars-cov2-ww: Remove dependency on pandoc-citeproc.
* gnu/packages/patches/pigx-sars-cov2-ww-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-sars-cov2-ww)[source]: Use it.
[native-inputs]: Add automake/autoconf.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun fb1ffc53ba
gnu: pigx-bsseq: Remove dependency on pandoc-citeproc.
* gnu/packages/patches/pigx-bsseq-no-citeproc.patch: Add patch.
* gnu/local.mk: Register it.
* gnu/packages/bioinformatics.scm (pigx-bsseq)[source]: Use it.
[native-inputs]: Add automake/autoconf.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun ff5fea3dfe
gnu: ghc-haskeline: Remove version postfix from variable name.
* gnu/packages/haskell-xyz.scm (ghc-haskeline-0.8): Rename to…
(ghc-haskeline): …this.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun d142843d15
gnu: ghc-repline: Remove version 0.2.0.0.
Not required by any package in the tree.

* gnu/packages/haskell-xyz.scm (ghc-repline-0.3): Merge into…
(ghc-repline): …this.
* gnu/packages/dhall.scm (dhall): Use ghc-repline.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun 06587abbd2
gnu: python-pypandoc: Upgrade to 1.6.4.
Required for the updated pandoc.

* gnu/packages/python-xyz.scm (python-pypandoc): Upgrade to 1.6.4.
[native-inputs]: Add texlive-iftex.
2021-10-08 09:13:54 +02:00
Lars-Dominik Braun 7eb9fe4e53
gnu: ngless: Fix build.
Apply upstream patch to restore compatibility with current Stackage.

* gnu/packages/patches/ngless-unliftio.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/bioinformatics.scm (ngless): Use it.
2021-10-08 09:13:53 +02:00
Xinglu Chen ed044023d7
gnu: idris: Fix build.
Backport some commits from upstream.

* gnu/packages/patches/idris-build-with-haskeline-0.8.patch:
* gnu/packages/patches/idris-build-with-megaparsec-9.patch: New patches
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/idris.scm (idris): Use them.

Signed-off-by: Lars-Dominik Braun <lars@6xq.net>
2021-10-08 09:13:53 +02:00
Lars-Dominik Braun da9ba3880c
gnu: ghc-silently: Remove unused input.
Plus it’s commented out anyway.

* gnu/packages/haskell-xyz.scm (ghc-silently): Remove commented out
inputs.
2021-10-08 09:13:53 +02:00
Lars-Dominik Braun 4e8d27ef52
gnu: ruby-pandoc-ruby: Disable tests.
* gnu/packages/ruby.scm (ruby-pandoc-ruby) [arguments]: Disable tests,
remove obsolete phase.
2021-10-08 09:13:53 +02:00
Lars-Dominik Braun 2a1b6c0dbf
gnu: hedgewars: Fix build.
* gnu/packages/patches/hedgewars-network-bsd.patch: Import upstream patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/games.scm (hedgewars): Use it.
2021-10-08 09:13:53 +02:00
Lars-Dominik Braun a389190855
gnu: cabal-install: Build with GHC 8.10.
* gnu/packages/patches/cabal-install-base16-bytestring1.0.patch: New patch.
* gnu/packages/patches/cabal-install-ghc8.10.patch: Ditto.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/haskell-apps.scm (cabal-install) [source]: Use them.
2021-10-08 09:13:53 +02:00
Lars-Dominik Braun b97f549b14
gnu: Update Haskell ecosystem.
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>
2021-10-08 09:13:52 +02:00
Lars-Dominik Braun b74ca403cb
build-system/haskell: Explain failure.
Provide human-readable failure message and explain how to fix it.

* guix/build/haskell-build-system.scm (register): Raise error if source
file does not exist.
2021-10-08 09:13:52 +02:00
Lars-Dominik Braun edd912a128
import: hackage: Support mirror:// URLs
* guix/import/hackage.scm (guix-package->hackage-name): Support
mirror://-style URI’s.
(hackage-package?): Ditto.
2021-10-08 09:13:52 +02:00
Lars-Dominik Braun a01daed62c
build-system/haskell: Accept line breaks in config files.
Long id’s will break to the next line.

* guix/build/haskell-build-system.scm (grep): Remove.
(register): Modify regular expression to account for newlines between
key and value, fail if package id is empty.
2021-10-08 09:13:52 +02:00
Lars-Dominik Braun 7cdb65dc9c
build-system/haskell: Do not rely on compiler name.
We’ve been relying on the compiler name matching its package
subdir. Since we effectively only support GHC we can hard-code this and
avoid issues with “ghc-next”.

* guix/build/haskell-build-system.scm (make-ghc-package-database):
Use GHC_PACKAGE_PATH.
(register): Hard-code ghc prefix.
2021-10-08 09:13:51 +02:00
Lars-Dominik Braun 127828ddd7
import: stackage: Support input changes.
* guix/import/stackage.scm (latest-lts-release): Rename package to pkg
to avoid name conflict and add input-changes.
2021-10-08 09:13:51 +02:00
Lars-Dominik Braun 8b4d3a523f
import: hackage: Update GHC’s standard libraries.
* guix/import/hackage.scm (ghc-standard-libraries): Add exceptions
library.
2021-10-08 09:13:51 +02:00
Lars-Dominik Braun 75c91e6b43
import: stackage: Update %default-lts-version to 18.10.
* guix/import/stackage.scm (%default-lts-version): Update to 18.10.
2021-10-08 09:13:51 +02:00
Lars-Dominik Braun f9250b47d5
gnu: ghc-8: Update to 8.10.
* gnu/packages/haskell.scm (ghc-8): Update to 8.10.
(ghc-8.8): Rename to just ghc.
(ghc-8.10): Dito.
2021-10-08 09:13:51 +02:00
John Kehayias fe56213027
guix: haskell-build-system: Always pass -package-db option.
* guix/build/haskell-build-system.scm (run-setuphs): Pass -package-db option.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2021-10-08 09:13:46 +02:00
Julien Lepiller 3fc0fa988e
gnu: ocaml-graphics: Update to 5.1.2.
* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
2021-10-08 04:34:11 +02:00
Julien Lepiller f86cad2fbe
gnu: ocaml-version: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
2021-10-08 04:34:09 +02:00
Julien Lepiller a3d528fa24
gnu: ocaml-cairo2: Update to 0.6.2.
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.2.
* gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch: Remove
file.
* gnu/local.scm (dist_patch_DATA): Remove it.
2021-10-08 04:34:07 +02:00
Julien Lepiller bf64ef1a83
gnu: ocaml-bisect-ppx: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.
2021-10-08 04:34:06 +02:00
Julien Lepiller 9eea1f8f6f
gnu: ocaml-base64: Update to 3.5.0.
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
2021-10-08 04:34:02 +02:00
Julien Lepiller 6516e88fe3
gnu: frama-c: Update to 23.1.
* gnu/packages/maths.scm (frama-c): Update to 23.1.
2021-10-08 04:34:00 +02:00
Julien Lepiller 26dd2321fe
gnu: why3: Update to 1.4.0.
* gnu/packages/maths.scm (why3): Update to 1.4.0.
2021-10-08 04:33:58 +02:00
Julien Lepiller 24fba107d1
gnu: camlzip: Update to 1.11.
* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
2021-10-08 04:33:56 +02:00
Julien Lepiller b1baba38c0
gnu: coq: Add upstream-name.
This prevents an error on inherited packages when running the updater.

* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
2021-10-08 04:33:52 +02:00
Xinglu Chen a0804f4445
gnu: ocaml-ctypes: Update to 0.19.1.
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.19.1.
[arguments]<#:tests?>: Enable.
<#phases>{make-writable}: Simplify.
[inputs]: Remove ocaml-topkg and opam.  Move ocaml-ounit and ocaml-lwt to ...
[native-inputs]: ... here.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:31:32 +02:00
Xinglu Chen 76177e816a
gnu: ocaml-migrate-parsetree: Update to 2.2.0.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:28:51 +02:00
Xinglu Chen 14f9caf9de
gnu: ocaml-bigstringaf: Update to 0.8.0.
* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:21:08 +02:00
Xinglu Chen e78d9ea012
gnu: ocaml-uuidm: Update to 0.9.7.
* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:19:43 +02:00
Xinglu Chen d11b3bc71c
gnu: ocaml-cppo: Update to 1.6.8.
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:07:39 +02:00
Xinglu Chen 8b9d17e770
gnu: ocaml-extlib: Update to 1.7.8.
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:05:53 +02:00