summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-10-08gnu: 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. Lars-Dominik Braun
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: ghc-silently: Remove unused input....Plus it’s commented out anyway. * gnu/packages/haskell-xyz.scm (ghc-silently): Remove commented out inputs. Lars-Dominik Braun
2021-10-08gnu: ruby-pandoc-ruby: Disable tests....* gnu/packages/ruby.scm (ruby-pandoc-ruby) [arguments]: Disable tests, remove obsolete phase. Lars-Dominik Braun
2021-10-08gnu: 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. Lars-Dominik Braun
2021-10-08gnu: 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. Lars-Dominik Braun
2021-10-08gnu: 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> Lars-Dominik Braun
2021-10-08build-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. Lars-Dominik Braun
2021-10-08import: hackage: Support mirror:// URLs...* guix/import/hackage.scm (guix-package->hackage-name): Support mirror://-style URI’s. (hackage-package?): Ditto. Lars-Dominik Braun
2021-10-08build-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. Lars-Dominik Braun
2021-10-08build-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. Lars-Dominik Braun
2021-10-08import: stackage: Support input changes....* guix/import/stackage.scm (latest-lts-release): Rename package to pkg to avoid name conflict and add input-changes. Lars-Dominik Braun
2021-10-08import: hackage: Update GHC’s standard libraries....* guix/import/hackage.scm (ghc-standard-libraries): Add exceptions library. Lars-Dominik Braun
2021-10-08import: stackage: Update %default-lts-version to 18.10....* guix/import/stackage.scm (%default-lts-version): Update to 18.10. Lars-Dominik Braun
2021-10-08gnu: 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. Lars-Dominik Braun
2021-10-08guix: 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> John Kehayias
2021-10-08gnu: ocaml-graphics: Update to 5.1.2....* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2. Julien Lepiller
2021-10-08gnu: ocaml-version: Add upstream-name....* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name. Julien Lepiller
2021-10-08gnu: 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. Julien Lepiller
2021-10-08gnu: ocaml-bisect-ppx: Add upstream-name....* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add upstream-name. Julien Lepiller
2021-10-08gnu: ocaml-base64: Update to 3.5.0....* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0. Julien Lepiller
2021-10-08gnu: frama-c: Update to 23.1....* gnu/packages/maths.scm (frama-c): Update to 23.1. Julien Lepiller
2021-10-08gnu: why3: Update to 1.4.0....* gnu/packages/maths.scm (why3): Update to 1.4.0. Julien Lepiller
2021-10-08gnu: camlzip: Update to 1.11....* gnu/packages/ocaml.scm (camlzip): Update to 1.11. Julien Lepiller
2021-10-08gnu: coq: Add upstream-name....This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name. Julien Lepiller
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: caf: Update to 0.18.5....* gnu/packages/cpp.scm (caf): Update to 0.18.5. Signed-off-by: Marius Bakke <marius@gnu.org> Greg Hogan
2021-10-08gnu: 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> Greg Hogan
2021-10-08gnu: 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> Greg Hogan
2021-10-08gnu: 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> Greg Hogan
2021-10-07gnu: Add erlang-covertool....* gnu/packages/erlang.scm (erlang-covertool): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-proper....* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-git-vsn....* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-raw-deps....* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-proper....* gnu/packages/erlang.scm (erlang-proper): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-jsone....* gnu/packages/erlang.scm (erlang-jsone): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-edown....* gnu/packages/erlang.scm (erlang-edown): New variable. Hartmut Goebel
2021-10-07gnu: Add rebar3....* gnu/packages/erlang.scm (rebar3): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-relx....* gnu/packages/erlang.scm (erlang-relx): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-ssl-verify-fun....* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-hex-core....* gnu/packages/erlang.scm (erlang-hex-core): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-parse-trans....* gnu/packages/erlang.scm (erlang-parse-trans): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-providers....* gnu/packages/erlang.scm (erlang-providers): New variable. Hartmut Goebel