gnu: sundials: Add 5.8.0.

* gnu/packages/maths.scm (sundials-5, sundials-openmpi-5): New
variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: sundials: Update to 6.2.0.

* gnu/packages/maths.scm (sundials): Update to 6.2.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: sundials-openmpi: Add HYPRE dependency.

* gnu/packages/maths.scm (sundials-openmpi)[propagated-inputs]: Add
hypre-openmpi.
[arguments]<#:configure-flags>: Add -DENABLE_HYPRE, -DHYPRE_INCLUDE_DIR
and -DHYPRE_LIBRARY_DIR.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: sundials: Fix various issues.

This commit fixes various issues. First, some of SUNDIALS's CMake
variables were renamed at some point between 5.2.0 and 5.7.0, in
particular KLU_ENABLE, which was changed to ENABLE_KLU. Since
sundials-julia is essentially SUNDIALS 5.2.0, its configure flags need
to be different from those of the sundials package. Second, commit
61bcd648ca215e3d8e75b3a3f49bfb94d66f7c79, which updated SUNDIALS to
6.1.1, accidentally completely disabled PETSc support for
sundials-openmpi (PETSc is supported only with MPI) by removing the
relevant configure flags. Third, SUNDIALS's default index size is
64 bits, but PETSc's is 32 bits, and they need to be the same; this
issue is discussed in the next three paragraphs.

The default index size in SUNDIALS 3.1.1 (which was the sundials
package's version previous to the aforementioned commit) was also
64 bits (though it was configured through the SUNDIALS_INDEX_TYPE CMake
variable, which could take the values INT64_T or INT32_T), but
SUNDIALS's configure script didn't warn of any incompatibility with
PETSc's 32-bit indices. I don't know if this was an accidental omission
from the configure script or if SUNDIALS's index size didn't have to
correspond to PETSc's at the time.

Keeping 64-bit indices in SUNDIALS would require adding a package for
PETSc with 64-bit indices (using the --with-64-bit-indices configure
flag), possibly named petsc64-openmpi (to follow the style of the SCOTCH
packages, i.e., scotch, scotch32, etc., though there the unadorned
package name represents the 64-bit version, unlike the unadorned petsc),
which would in turn require a package for METIS with 64-bit
indices (using IDXTYPEWIDTH=64). However, SUNDIALS is an optional
dependency of deal.II, both of which have PETSc as an optional
dependency, and deal.II's index size (which defaults to 32 bits) must
match PETSc's. In other words, the current deal.II package can build
with SUNDIALS only if SUNDIALS has 32-bit indices.

Furthermore, users needing 64-bit indices in SUNDIALS probably also need
them in PETSc and other libraries. If and when 64-bit indices are deemed
necessary, we can add all the package variations at once (for SUNDIALS,
PETSc, METIS, deal.II and any others).

* gnu/packages/maths.scm (sundials)[source]: Reuse version in URL.
[native-inputs]: Capitalize and punctuate comment.
[inputs]: Remove petsc, now unnecessary gfortran, and obsolete
comment. Move TODO item to sundials-openmpi.
[arguments]<#:configure-flags>: Add -DSUNDIALS_INDEX_SIZE=32 to match
PETSc's 32-bit indices. Remove obsolete -DEXAMPLES_ENABLE_F77,
-DEXAMPLES_ENABLE_F90 and -DFCMIX_ENABLE. Mention new but currently
unusable -DBUILD_FORTRAN_MODULE_INTERFACE and
-DEXAMPLES_ENABLE_F2003. Rename KLU_ENABLE to ENABLE_KLU.
(sundials-openmpi): Use package/inherit.
[inputs]: Move openmpi and petsc-openmpi from here...
[propagated-inputs]: ...to here. Clarify comment.
[arguments]<#:configure-flags>: Add -DENABLE_PETSC and -DPETSC_DIR, the
equivalents of which were accidentally removed in commit
61bcd648ca215e3d8e75b3a3f49bfb94d66f7c79.
<#:phases>: Replace a tab with spaces.
[synopsis]: Replace OpenMPI with MPI to conform to other package
synopses.
(sundials-julia)[inputs]: Add gfortran.
[arguments]<#:configure-flags>: Set only, and manually, -DCMAKE_C_FLAGS,
-DSUNDIALS_INDEX_SIZE, -DKLU_ENABLE, -DKLU_INCLUDE_DIR,
-DKLU_LIBRARY_DIR and -DLAPACK_ENABLE instead of inheriting from the
sundials package, because some of SUNDIALS's CMake variables have
changed name.
[synopsis]: Capitalize “LAPACK”.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: petsc-openmpi: Fix header inclusions.

* gnu/packages/maths.scm (petsc-openmpi)[arguments]: Add
'patch-header-inclusions' phase.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

services: pipefs: Correctly handle lack of extensions.

Previously, in the absence of extensions of 'pipefs-service-type', we'd
get a wrong-type-arg exception while folding services:

  In gnu/services/nfs.scm:
     134:37  1 (_ #<<pipefs-configuration> mount-point: "/var/lib/nfs…> …)
  In ice-9/boot-9.scm:
    1685:16  0 (raise-exception _ #:continuable? _)
  In procedure car: Wrong type argument in position 1 (expecting pair): ()

* gnu/services/nfs.scm (pipefs-service-type)[extend]: Gracefully handle
the case where VALUES is the empty list, as done in 'gss-service-type'.

gnu: Mutt: Update to 2.2.4.

* gnu/packages/mail.scm (mutt): Update to 2.2.4.

gnu: linux-libre 4.19: Update to 4.19.241.

* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.241.
(linux-libre-4.19-pristine-source): Update hash.

gnu: linux-libre 5.15: Update to 5.15.37.

* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.37.
(linux-libre-5.15-pristine-source): Update hash.

gnu: mes: Update to 0.24.

* gnu/packages/mes.scm (mes-next)[source]: Update to 0.24.
[native-inputs]: Add m2-planet.

gnu: m2-planet: Update to 1.9.0.

* gnu/packages/mes.scm (m2-planet): Update to 1.9.0.

gnu: mescc-tools: Update to 1.4.0.

* gnu/packages/mes.scm (mescc-tools): Update to 1.4.0.

gnu: Add xschem.

* gnu/packages/engineering.scm (xschem): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

services: Make sure Shepherd destructors match constructors.

This is a followup to b06ecc57515d4e3c8b2228e8142654e9a26ba6e1,
211fe3f66e6dfdaa64974931c458ab1d92afc182, and
fd57ce267c4083fe98242caa31075d2bd62903bf.

* gnu/services/base.scm (guix-publish-shepherd-service): Change 'stop'
method to use 'make-systemd-destructor' when 'make-systemd-constructor'
is used.
* gnu/services/dict.scm (dicod-shepherd-service): Change 'stop' method
to use 'make-inetd-destructor' when 'make-inetd-constructor' is used.
* gnu/services/messaging.scm (bitlbee-shepherd-service): Likewise.

gnu: python-hic2cool: Fix build.

* gnu/packages/bioinformatics.scm (python-hic2cool)[arguments]: Fix
incompatibility with h5py 3; disable two tests.

gnu: Add r-agimicrorna.

* gnu/packages/bioconductor.scm (r-agimicrorna): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>

gnu: Add r-adductomicsr.

* gnu/packages/bioconductor.scm (r-adductomicsr): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>

gnu: Add r-orgmassspecr.

* gnu/packages/cran.scm (r-orgmassspecr): New variable.

gnu: Add r-adductdata.

* gnu/packages/bioconductor.scm (r-adductdata): New variable.

gnu: Add python-scrapy.

* gnu/packages/python-web.scm (python-scrapy): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-itemloaders.

* gnu/packages/python-xyz.scm (python-itemloaders): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-parsel.

* gnu/packages/python-web.scm (python-parsel): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-protego.

* gnu/packages/python-web.scm (python-protego): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-itemadapter.

* gnu/packages/python-xyz.scm (python-itemadapter): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-queuelib.

* gnu/packages/python-xyz.scm (python-queuelib): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-pydispatcher.

* gnu/packages/python-xyz.scm (python-pydispatcher): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add python-sybil.

* gnu/packages/python-check.scm (python-sybil): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: bear: Update to 3.0.19.

* gnu/packages/build-tools.scm (bear): Update to 3.0.19.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: spdlog: Update to 1.10.0.

* gnu/packages/logging.scm (spdlog): Update to 1.10.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: fmt: Update to 8.1.1.

* gnu/packages/pretty-print.scm (fmt): Update to 8.1.1.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: apl: Use G-expressions.

* gnu/packages/apl.scm (apl)[arguments]: Use G-expressions.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: apl: Remove input labels.

* gnu/packages/apl.scm (apl)[inputs]: Remove labels and sort.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: apl: Update to 1.8-r1550.

This commit fixes a failing build caused by -Werror (the configure
script no longer sets the -Werror compilation flag).

* gnu/packages/apl.scm (apl): Update to 1.8-r1550.
[arguments]: Add 'fix-configure' phase.
[license]: Prefix with 'license:'.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add emacs-git-email.

* gnu/packages/emacs-xyz.scm (emacs-git-email): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: ugrep: Update to 3.7.9.

* gnu/packages/search.scm (ugrep): Update to 3.7.9.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-sdk-cpp: Remove openssl input.

* gnu/packages/cpp.scm (aws-sdk-cpp):
[inputs]: Remove openssl.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: s2n: Link to aws-lc as libcrypto dependency.

* gnu/packages/tls.scm (s2n):
[arguments]: Fix for openssl as replacement input for aws-lc.
[propagated-inputs]: Add aws-lc and remove openssl.
[supported-systems]: Only support x86_64-linux.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-lc: Fix checksum and enable tests.

* gnu/packages/tls.scm (aws-lc):
[source]: Fix checksum.
[arguments]: Enable tests.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-crt-cpp: Fix comment formatting.

* gnu/packages/cpp.scm (aws-crt-cpp): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-mqtt: Fix comment formatting.

* gnu/packages/c.scm (aws-c-mqtt): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-s3: Fix comment formatting.

* gnu/packages/c.scm (aws-c-s3): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-auth: Fix comment formatting.

* gnu/packages/c.scm (aws-c-auth): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-compression: Fix comment formatting.

* gnu/packages/c.scm (aws-c-compression): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-http: Fix comment formatting.

* gnu/packages/c.scm (aws-c-http): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-sdkutils: Fix comment formatting.

* gnu/packages/c.scm (aws-c-sdkutils): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-cal: Fix comment formatting.

* gnu/packages/c.scm (aws-c-cal): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-io: Fix comment formatting.

* gnu/packages/c.scm (aws-c-io): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-event-stream: Fix comment formatting.

* gnu/packages/c.scm (aws-c-event-stream): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-checksums: Fix comment formatting.

* gnu/packages/c.scm (aws-checksums): Fix comment formatting.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: aws-c-common: Only support i686 and x86_64.

* gnu/packages/c.scm (aws-c-common):
[supported-systems]: Only support i686-linux and x86_64-linux.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

services: bitlbee: Preserve 'PURPLE_PLUGIN_PATH'.

Fixes a regression introduced in
211fe3f66e6dfdaa64974931c458ab1d92afc182 whereby, in inetd mode, and
when using 'bitlbee-purple', libpurple plugins would not be found.

* gnu/services/messaging.scm (bitlbee-shepherd-service): Pass
 #:preserved-environment-variables to 'least-authority-wrapper'.

gnu: htslib-for-stringtie: Inherit from htslib-1.12.

* gnu/packages/bioinformatics.scm (htslib-for-stringtie): Inherit from
htslib-1.12.

gnu: Remove python-xlrd-1.

* gnu/packages/python-xyz.scm (python-xlrd-1): Remove variable.

gnu: Remove python-cytoolz-for-cooler.

* gnu/packages/python-xyz.scm (python-cytoolz-for-cooler): Remove variable.

gnu: python-cooler: Use more recent cytoolz.

* gnu/packages/bioinformatics.scm (python-cooler)[propagated-inputs]: Replace
python-cytoolz-for-cooler with python-cytoolz.

gnu: python-anndata: Remove python-xlrd-1.

* gnu/packages/python-xyz.scm (python-anndata)[propagated-inputs]: Remove
python-xlrd-1.

gnu: ungoogled-chromium: Update to 101.0.4951.41-1.

* gnu/packages/chromium.scm (%preserved-third-party-files): Include bundled
Vulkan headers.
(%chromium-version): Set to 101.0.4951.41.
(%debian-revision): Set to debian/101.0.4951.41-2.
(%debian-patches): Add one new patch.
(%ungoogled-origin, ungoogled-chromium): Update hashes.
* gnu/packages/patches/ungoogled-chromium-system-nspr.patch: Refresh.

services: opendht: Use 'least-authority-wrapper'.

* gnu/services/networking.scm (opendht-configuration->command-line-arguments):
Use 'least-authority-wrapper'.
(opendht-shepherd-service): Use 'make-forkexec-constructor'.

services: quassel: Use 'least-authority-wrapper'.

* gnu/services/messaging.scm (quassel-shepherd-service): Use
'least-authority-wrapper' instead of
'make-forkexec-constructor/container'.

services: wesnothd: Use 'least-authority-wrapper'.

* gnu/services/games.scm (wesnothd-shepherd-service): Use
'least-authority-wrapper' instead of
'make-forkexec-constructor/container'.

services: wesnothd: Grant write access to /var/run/wesnothd.

* gnu/services/games.scm (wesnothd-shepherd-service): Augment 'modules'
field.  Pass #:mappings argument to 'make-forkexec-constructor/container'.
(wesnothd-activation): New variable.
(wesnothd-service-type): Extend ACTIVATION-SERVICE-TYPE.

services: ipfs: Use 'least-authority-wrapper'.

* gnu/services/networking.scm (ipfs-binary): Call
'least-authority-wrapper'.
(%ipfs-home-mapping): Remove surrounding gexp.
(ipfs-shepherd-service)[exec-command]: New procedure.
[ipfs-config-command, set-config!-gexp, shepherd&co]
[container-gexp, container-script]: Remove.
[inner-gexp]: Use 'exec-command'.

services: bitlbee: Use 'make-inetd-constructor'.

* gnu/services/messaging.scm (bitlbee-shepherd-service): Add call to
'least-authority-wrapper'.  In 'start' method, use
'make-inetd-constructor' when available.
* gnu/tests/messaging.scm (run-bitlbee-test)["valid PID"]: Remove test.

services: dicod: Use 'make-inetd-constructor'.

* gnu/services/dict.scm (dicod-shepherd-service): Use
'make-inetd-constructor' in the 'start' method when available.

services: dicod: Rewrite using 'least-authority-wrapper'.

* gnu/services/dict.scm (dicod-shepherd-service): Rewrite using
'least-authority-wrapper' plus 'make-forkexec-constructor' instead of
'make-forkexec-constructor/container'.

Add (guix least-authority).

* guix/least-authority.scm: New file.
* Makefile.am (MODULES): Add it.
* gnu/build/shepherd.scm (default-mounts): Make public.

linux-container: Add #:child-is-pid1? parameter to 'call-with-container'.

* gnu/build/linux-container.scm (wait-child-process)
(status->exit-status): New procedures.
(call-with-container): Add #:child-is-pid1? parameter and honor it.
[thunk*]: New variable.  Pass it to 'run-container'.

linux-container: Ensure signal-handling asyncs get a chance to run.

Previously we could enter the blocking 'waitpid' call and miss an
opportunity to run the signal handler async.

* gnu/build/linux-container.scm (call-with-container)
[periodically-schedule-asyncs]: New procedure.
[install-signal-handlers]: Call it.

linux-container: 'call-with-container' relays SIGTERM and SIGINT.

* gnu/build/linux-container.scm (call-with-container): Add #:relayed-signals.
[install-signal-handlers]: New procedure.
Call it.

file-systems: Avoid load-time warnings when attempting to load (guix store).

This makes sure warnings like "incompatible bytecode version" don't go
through when looking for (guix store).

* gnu/system/file-systems.scm (%store-prefix): Parameterize
'current-warning-port' around 'resolve-module' call.

gexp: Add 'references-file'.

* gnu/services/base.scm (references-file): Remove.
* guix/gexp.scm (references-file): New procedure.
* tests/gexp.scm ("references-file"): New test.

nls: Update translations.

po/guix/ja.po: New file.
po/guix/LINGUAS: Add it.

gnu: ocaml-uuidm: Update to 0.9.8.

* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.8.
(ocaml4.07-uuidm): New variable.

gnu: ocamlformat: Update to 0.21.0.

* gnu/packages/ocaml.scm (ocamlformat): Update to 0.21.0.

gnu: ocaml-cmdliner: Update to 1.1.0.

Cmdliner changed its output format, so two packages need to be modified
to accept the new format.

The patch modifies ocaml 4.07 packages to ensure this patch results in the
same derivations for these variants.

* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.1.0.
(ocaml-alcotest, ocaml-mdx)[arguments]: Fix tests.
(ocaml4.07-cmdliner): New variable.
(ocaml4.07-alcotest): Do not fix tests.

gnu: ocaml-re: Update to 1.10.4.

* gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.4.

gnu: ocaml-spawn: Update to 0.15.1.

* gnu/packages/ocaml.scm (ocaml-spawn): Update to 0.15.1.

gnu: ocaml-ppx-fields-conv: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-fields-conv): Update to 0.15.0.

gnu: ocaml-parsexp: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.15.0.

gnu: ocaml-ppx-hash: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-hash): Update to 0.15.0.

gnu: ocaml-ppx-sexp-value: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-sexp-value): Update to 0.15.0.

gnu: ocaml-jst-config: Update to 0.15.1.

* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.15.1.

gnu: ocaml-ppx-stable: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-stable): Update to 0.15.0.

gnu: ocaml-ppx-base: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-base): Update to 0.15.0.

gnu: ocaml-ppx-compare: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-compare): Update to 0.15.0.

gnu: ocaml-jane-street-headers: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Update to 0.15.0.

gnu: ocaml-base-bigstring: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-base-bigstring): Update to 0.15.0.

gnu: ocaml-core: Update to 0.15.0.

These packages cannot be updated individually.

* gnu/packages/ocaml.scm (ocaml-ppx-inline-test, ocaml-sexplib0)
(ocaml-sexplib, ocaml-base, ocaml-stdio, ocaml-ppx-sexp-conv)
(ocaml-ppx-expect, ocaml-base-quickcheck, ocaml-core)
(ocaml-core-kernel, ocaml-timezone): Update to 0.15.0.
(ocaml-ppxlib): Fix tests.
(ocaml-int-repr): New variable.

gnu: ocaml-ppxlib: Update to 0.25.0.

* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.25.0.

gnu: coq: Update to 8.15.1.

* gnu/packages/coq.scm (coq): Update to 8.15.1.

gnu: ocaml-hex: Update to 1.5.0.

* gnu/packages/ocaml.scm (ocaml-hex): Update to 1.5.0.

gnu: ocaml-easy-format: Update to 1.3.3.

* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.3.

gnu: ocaml-variantslib: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-variantslib): Update to 0.15.0.

gnu: ocaml-ppx-optcomp: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): Update to 0.15.0.

gnu: ocaml-cstruct: Update to 6.1.0.

* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.1.0.

gnu: ocaml-ppx-bin-prot: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): Update to 0.15.0.

gnu: ocaml-ppx-jane: Update to 0.15.0.

* gnu/packages/ocaml.scm (ocaml-ppx-jane): Update to 0.15.0.

gnu: Add ocaml-ppx-disable-unused-warnings.

* gnu/packages/ocaml.scm (ocaml-ppx-disable-unused-warnings): New
  variable.

gnu: Add ocaml-ppx-log.

* gnu/packages/ocaml.scm (ocaml-ppx-log): New variable.

gnu: Add ocaml-ppx-ignore-instrumentation.

* gnu/packages/ocaml.scm (ocaml-ppx-ignore-instrumentation): New
  variable.