TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
83681 commits 102 branches 35 tags 561 MiB
Commit graph

83681 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Xinglu Chen 52e9a8f581
gnu: ocaml-cmdliner: Update to 1.0.4. 
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4.
[source]: Use HTTPS URL.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2021-10-08 03:03:06 +02:00
Xinglu Chen 6b198cc874
gnu: ocaml-alcotest: Update to 1.4.0. 
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.4.0.
[source]: Use Git repo instead of GitHub tarball.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
 2021-10-08 02:52:08 +02:00
Greg Hogan 0a34ba76ef
gnu: caf: Update to 0.18.5. 
* gnu/packages/cpp.scm (caf): Update to 0.18.5.

Signed-off-by: Marius Bakke <marius@gnu.org>
 2021-10-08 00:00:22 +02:00
Greg Hogan c1d40c2621
gnu: pcg-cpp: Update to 0.98.1-ffd522e7. 
* gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7.

Signed-off-by: Marius Bakke <marius@gnu.org>
 2021-10-08 00:00:21 +02:00
Greg Hogan 7861d92399
gnu: folly: Update to 2021.10.04.00. 
* gnu/packages/cpp.scm (folly): Update to 2021.10.04.00.

Signed-off-by: Marius Bakke <marius@gnu.org>
 2021-10-08 00:00:21 +02:00
Greg Hogan 04c5d89482
gnu: ceph: Fix breaking change in snappy. 
* gnu/packages/storage.scm (ceph)[source]: Add patch.
* gnu/packages/patches/ceph-fix-snappy-breaking-change.patch: New file.
* gnu/local.mk: Add it.

Signed-off-by: Marius Bakke <marius@gnu.org>
 2021-10-08 00:00:21 +02:00
Hartmut Goebel f86f7e24b3
gnu: Add erlang-covertool. 
* gnu/packages/erlang.scm (erlang-covertool): New variable.
 2021-10-07 22:35:30 +02:00
Hartmut Goebel fd4a80a46c
gnu: Add erlang-rebar3-proper. 
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
 2021-10-07 22:35:30 +02:00
Hartmut Goebel 0402da848b
gnu: Add erlang-rebar3-git-vsn. 
* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
 2021-10-07 22:35:30 +02:00