diagnostics: Avoid highlighting complete messages.

* guix/diagnostics.scm (%highlight-argument): Don't highlight ARG if it
contains white space.

lint: Log diagnostics with 'info', not 'warning'.

* guix/scripts/lint.scm (emit-warnings): Use 'info', not 'warning'.
This removes the unhelpful "warning:" prefix that commit
3d33c93cef67d88bdc9409959f3c1f3857af09cf introduced.

gnu: Add cedille.

* gnu/packages/cedille.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.

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

gnu: agda-ial: Fix install step.

* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.

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

swh: Correctly handle visits without a snapshot.

As discussed at
<https://sympa.inria.fr/sympa/arc/swh-devel/2019-08/msg00016.html>.

* guix/swh.scm (string*): New procedure.
(<visit>)[snapshot-url]: Pass 'string*' as the conversion procedure.
[status]: Pass 'string->symbol' as the conversion procedure.
(visit-snapshot): Return #f when 'visit-snapshot-url' returns #f.
(lookup-origin-revision): Filter to visits for which
'visit-snapshot-url' is true.

swh: 'swh-download' prints debugging info.

* guix/git-download.scm (git-fetch): Print a message before calling
'swh-download'.
* guix/swh.scm (swh-download): Add #:log-port.  Write debugging messages
to LOG-PORT.

gnu: Add rust-walkdir.

* gnu/packages/crates-io.scm (rust-walkdir): New variable.

gnu: Add rust-void.

* gnu/packages/crates-io.scm (rust-void): New variable.

gnu: Add rust-version-check.

* gnu/packages/crates-io.scm (rust-verison-check): New variable.

gnu: Add rust-untrusted.

* gnu/packages/crates-io.scm (rust-untrusted): New variable.

gnu: Add rust-ucd-trie.

* gnu/packages/crates-io.scm (rust-ucd-trie): New variable.

gnu: Add rust-typeable.

* gnu/packages/crates-io.scm (rust-typeable): New variable.

gnu: Add rust-try-lock.

* gnu/packages/crates-io.scm (rust-try-lock): New variable.

gnu: Add rust-try-from.

* gnu/packages/crates-io.scm (rust-try-from): New variable.

gnu: Add rust-traitobject.

* gnu/packages/crates-io.scm (rust-traitobject): New variable.

gnu: Add rust-tracing-core.

* gnu/packages/crates-io.scm (rust-tracing-core): New variable.

gnu: Add rust-tokio-mock-task.

* gnu/packages/crates-io.scm (rust-tokio-mock-task): New variable.

gnu: Add rust-threadpool.

* gnu/packages/crates-io.scm (rust-threadpool): New variable.

gnu: Add rust-thread-local.

* gnu/packages/crates-io.scm (rust-thread-local): New variable.

gnu: Add rust-termcolor.

* gnu/packages/crates-io.scm (rust-termcolor): New variable.

gnu: Add rust-streaming-stats.

* gnu/packages/crates-io.scm (rust-streaming-stats): New variable.

gnu: rust-num-traits: Change inputs.

* gnu/packages/crates-io.scm (rust-num-traits)[arguments]: Move
rust-autocfg from cargo-development-inputs to cargo-inputs.

gnu: Add rust-stdweb-internal-test-macro.

* gnu/packages/crates-io.scm (rust-stdweb-internal-test-macro): New
variable.

gnu: Add rust-stable-deref-trait.

* gnu/packages/crates-io.scm (rust-stable-deref-trait): New variable.

gnu: Add rust-security-framework-sys.

* gnu/packages/crates-io.scm (rust-security-framework-sys): New
variable.

gnu: Add rust-scopeguard-0.3.

* gnu/packages/crates-io.scm (rust-scopeguard-0.3): New variable.

gnu: Add rust-scoped-tls-0.1.

* gnu/packages/crates-io.scm (rust-scoped-tls-0.1): New variable.

gnu: Add rust-schannel.

* gnu/packages/crates-io.scm (rust-schannel): New variable.

gnu: Add rust-same-file.

* gnu/packages/crates-io.scm (rust-same-file): New variable.

gnu: Add rust-safemem.

* gnu/packages/crates-io.scm (rust-safemem): New variable.

gnu: Add rust-regex-syntax.

* gnu/packages/crates-io.scm (rust-regex-syntax): New variable.

gnu: Add rust-pkg-config.

* gnu/packages/crates-io.scm (rust-pkg-config): New variable.

gnu: Add rust-permutohedron.

* gnu/packages/crates-io.scm (rust-permutohedron): New variable.

gnu: Add rust-rawpointer.

* gnu/packages/crates-io.scm (rust-rawpointer): New variable.

gnu: Add rust-num-cpus.

* gnu/packages/crates-io.scm (rust-num-cpus): New variable.

gnu: Add rust-net2.

* gnu/packages/crates-io.scm (rust-net2): New variable.

gnu: Add rust-modifier.

* gnu/packages/crates-io.scm (rust-modifier): New variable.

gnu: Add rust-iovec.

* gnu/packages/crates-io.scm (rust-iovec): New variable.

gnu: Add rust-futures-io-preview.

* gnu/packages/crates-io.scm (rust-futures-io-preview): New variable.

gnu: Add rust-foreign-types-shared.

* gnu/packages/crates-io.scm (rust-foreign-types-shared): New variable.

gnu: Add rust-fixedbitset.

* gnu/packages/crates-io.scm (rust-fixedbitset): New variable.

gnu: Add rust-findshlibs.

* gnu/packages/crates-io.scm (rust-findshlibs): New variable.

gnu: Add rust-defmac-0.1.

* gnu/packages/crates-io.scm (rust-defmac-0.1): New variable.

gnu: Add rust-defmac.

* gnu/packages/crates-io.scm (rust-defmac): New variable.

gnu: Add rust-data-encoding.

* gnu/packages/crates-io.scm (rust-data-encoding): New variable.

gnu: Add rust-core-foundation-sys.

* gnu/packages/crates-io.scm (rust-core-foundation-sys): New variable.

gnu: Add rust-cloudabi.

* gnu/packages/crates-io.scm (rust-cloudabi): New variable.

gnu: Add rust-cblas-sys.

* gnu/packages/crates-io.scm (rust-cblas-sys): New variable.

gnu: Add rust-blas-sys.

* gnu/packages/crates-io.scm (rust-blas-sys): New variable.

gnu: Add rust-widestring.

* gnu/packages/crates-io.scm (rust-widestring): New variable.

gnu: Add rust-wasm-bindgen-test-macro.

* gnu/packages/crates-io.scm (rust-wasm-bindgen-test-macro): New variable.

gnu: rust-wincolor: New variable.

* gnu/packages/crates-io.scm (rust-wincolor): New variable.

gnu: rust-winapi-util: New variable.

* gnu/packages/crates-io.scm (rust-winapi-util): New variable.

gnu: rust-winapi-build: New variable.

* gnu/packages/crates-io.scm (rust-winapi-build): New variable.

gnu: Add rust-winapi-0.2.

* gnu/packages/crates-io.scm (rust-winapi-0.2): New variable.

gnu: Add rust-xdg.

* gnu/packages/crates-io.scm (rust-xdg): New variable.

gnu: Add rust-termios.

* gnu/packages/crates-io.scm (rust-termios): New variable.

gnu: Add rust-lazy-static.

* gnu/packages/crates-io.scm (rust-lazy-static): New variable.

gnu: Add rust-antidote.

* gnu/packages/crates-io.scm (rust-antidote): New variable.

gnu: mingw-w64: Update to 6.0.0.

* gnu/packages/mingw.scm (mingw-w64): Update to 6.0.0.
* gnu/packages/patches/mingw-w64-6.0.0-gcc.patch: New file.
* gnu/packages/patches/mingw-w64-5.0rc2-gcc-4.9.3.patch: Delete it.
* gnu/local.mk (dist_patch_DATA): Add new patch.  Delete old patch.
* gnu/build/cross-toolchain.scm (set-cross-path/mingw): Add additional
  autoconf-like substitutions.

gnu: enlightenment: Update to 0.23.0.

* gnu/packages/enlightenment.scm (enlightenment): Update to 0.23.0.
[build-system]: Switch to meson-build-system.
[arguments]: Add configure-flag to build without systemd.  Remove
'bootstrap phase.  Update substitutions in custom
'set-system-actions phase.
[inputs]: Add bluez, pulseaudio.
* gnu/packages/patches/enlightenment-fix-setuid-path.patch: Update.
* gnu/services/desktop.scm (enlightenment-setuid-programs): Update
location of 'freqset binary.  Add 'cpuclock_sys to setuid binaries.

gnu: enlightenment: Don't use NAME in source URI.

* gnu/packages/enlightenment.scm (enlightenment)[source]: Hard-code
NAME.

gnu: emacs-elisp-demos: Update to 2019.08.16.

* gnu/packages/emacs-xyz.scm (emacs-elisp-demos): Update to 2019.08.16.

Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com>

build/cargo-build-system: Remove 'update-cargo-lock phase.

* guix/build/cargo-build-system.scm (update-cargo-lock): Remove
procedure.
(configure): Delete Cargo.lock file if it exists.
(%standard-phases): Remove 'update-cargo-lock.
* doc/guix.texi (Build System)[cargo-build-system]: Remove references to
the 'update-cargo-lock phase.

gnu: gtkspell3: Install Vala bindings.

* gnu/packages/gtk.scm (gtkspell3)[native-inputs]: Add vala.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>

gnu: webkitgtk: Update to 2.24.4.

* gnu/packages/webkit.scm (webkitgtk-2.24): Update to 2.24.4.

gnu: agda-ial: Fetch source from Git.

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.

gnu: Add agda-ial.

* gnu/packages/agda.scm (agda-ial): new variable.

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

lint: Correct use of 'with-networking-fail-safe'.

Fixes <https://bugs.gnu.org/37160>.
Reported by Jonathan Brielmaier <jonathan.brielmaier@web.de>.

* guix/lint.scm (check-for-updates): Make sure the first argument to
'with-networking-fail-safe' is the whole error message.

accounts: Delete duplicate entries.

When adding multiple instances of a service requiring some user
account/group, we could end up with multiple entries for that account or
group in /etc/passwd or /etc/group.

* gnu/build/accounts.scm (database-writer)[write-entries]: Add call to
'delete-duplicates'.
* tests/accounts.scm ("write-passwd with duplicate entry"): New test.

gnu: emacsy: Cleanup build.

* gnu/packages/guile-xyz.scm (emacsy): Wrap binaries; fixes guile version
conflicts.  Move some propagated inputs to inputs.

gnu: Add nomad.

* gnu/packages/guile-xyz.scm (nomad): New variable.

gnu: Add emacsy-minimal.

* (guile-emacsy): New variable.

Emacsy is a library for Guile. Emacsy package is too heavy for use as a
dependency for other packages:

$ guix size emacsy ... total: 1136.3 MiB

versus:
$ guix size guile-emacsy ... total: 132.3 MiB

gnu: youtube-dl: Update to 2019.08.13.

* gnu/packages/video.scm (youtube-dl): Update to 2019.08.13.

gnu: sway: Update to 1.2.

* gnu/packages/wm.scm (sway): Update to 1.2.

gnu: Add template-glib.

* gnu/packages/glib.scm (template-glib): New variable.

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

gnu: Add python-elementpath.

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

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

gnu: libmicrohttpd: Update to 0.9.66.

* gnu/packages/gnunet.scm (libmicrohttpd): Update to 0.9.66.

pack: Create /tmp in Docker images.

Fixes <https://bugs.gnu.org/37161>.

* guix/scripts/pack.scm (docker-image)[build]: Add a 'directory' entry
for "/tmp" to DIRECTIVES.
* tests/pack.scm ("docker-image + localstatedir"): Test the presence of /tmp.
* gnu/tests/docker.scm (run-docker-test)["Load docker image and run
it"]: Test the presence and permission bits of "/tmp".

docker: Take a list of directives instead of a list of symlinks.

* guix/docker.scm (symlink-source, topmost-component): Remove.
(directive-file): New procedure.
(build-docker-image): Remove #:symlinks and add #:extra-files.
Make a sub-directory "extra" and call 'evaluate-populate-directive' for
EXTRA-FILES in that directory.
* guix/scripts/pack.scm (docker-image)[build](symlink->directives,
directives): New procedures.
Pass #:extra-files instead of #:symlinks to 'build-docker-image'.

gnu: guile-bytestructures: Update to 1.0.6.

* gnu/packages/guile.scm (guile-bytestructures): Update to 1.0.6.

gnu: guile-bytestructures: Add upstream name.

* gnu/packages/guile.scm (guile-bytestructures)[properties]: New field.

import: github: 'github-package?' uses 'package-upstream-name'.

* guix/import/github.scm (updated-github-url): Use
'package-upstream-name' instead of 'package-name'.  This allows
'github-package?' to match more packages, given an appropriate upstream
name.

gnu: Add uniutils.

* gnu/packages/textutils.scm (uniutils): New variable.

gnu: Add ascii2binary.

* gnu/packages/textutils.scm (ascii2binary): New variable.

services: cups: Update SSL-OPTIONS docstring.

This follows up on commit f9c1ebdb7daea30ceaf73f43bf15c222dc4a58ad.

* gnu/services/cups.scm (cups-configuration)<ssl-options>:
Update docstring.

gnu: mkvtoolnix:gui: Don't require :out to be installed.

* gnu/packages/video.scm (mkvtoolnix)[arguments]: Add a
‘patch-relative-file-names’ phase to call ‘mkvmerge’ from :out.

gnu: mkvtoolnix: Use @command{}.

* gnu/packages/video.scm (mkvtoolnix)[description]:
Substitute @command{} for @code{}.

services: cups: Complete SSL-OPTIONS.

…except for ‘AllowDH’, which makes no sense on GNU TLS systems.

* gnu/services/cups.scm (ssl-options?): Validate ‘DenyCBC’ and
‘DenyTLS1.0’.
* doc/guix.texi (Printing Services): Document them both.

Merge branch 'wip-binaries'

gnu: linux-libre: Update deblobbing scripts.

* gnu/packages/linux.scm (deblob-scripts-4.9): Update to version 4.9.190
and update the 'deblob-check' hash.
(deblob-scripts-5.2, deblob-scripts-4.19)
(deblob-scripts-4.14, deblob-scripts-4.4): Update to versions 5.2.10, 4.19.68,
4.14.140, and 4.4.190 respectively, although the scripts themselves are
unchanged.

doc: Follow-up commit to 407ebeaa1.

Following some discussion with Ludovic (see:
https://lists.gnu.org/archive/html/guix-patches/2019-08/msg00506.html), it is
better advice to generally recommend the use of `program-file' for any usage
of modules, not just for those which define syntax.

* doc/guix.texi (Scheduled Job Execution): Drop the following text: "that
defines syntax (macros)".

gnu: cuirass: Update to 0.0.1-23.1cd2f93.

* gnu/packages/ci.scm (cuirass): Update to 0.0.1-23.1cd2f93.

gnu: python-pip: Update to 19.2.1.

* gnu/packages/python-xyz.scm (python-pip): Update to 19.2.1.

doc: Fix typo.

* doc/guix.texi (Build Systems): Add missing question mark to

services: cuirass: Split into two separate services.

* gnu/services/cuirass.scm (cuirass-shepherd-service): Return two shepherd
services, one for the web interface, another for building packages.

gnu: emacs-zerodark-theme: Fix modeline.

* gnu/packages/emacs-xyz.scm (emacs-zerodark-theme)[propagated-inputs]:
Add emacs-flycheck to prevent errors when themed modeline is active.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>

gnu: mkvtoolnix: Update to 37.0.0.

* gnu/packages/video.scm (mkvtoolnix): Update to 37.0.0.

gnu: mkvtoolnix: Don't use NAME in source URI.

* gnu/packages/video.scm (mkvtoolnix)[source]: Hard-code NAME.

gnu: Rust-num-integer: Move rust-autocfg to cargo-inputs.

* gnu/packages/crates-io.scm (rust-num-integer)[arguments]: Move
rust-autocfg from cargo-development-inputs to cargo-inputs.