gnu: schismtracker: Update to 20181223.

* gnu/packages/music.scm (schismtracker): Update to 20181223.

gnu: php: Build bcmath.

* gnu/packages/php.scm (php)[arguments]: Add "--enable-bcmath" to configure
flags.

gnu: wine-staging: Update to 4.0-rc4.

* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.0-rc4.
* gnu/packages/wine.scm (wine-staging): Update to 4.0-rc4.

gnu: giac-xcas: Update to 1.5.0-29.

* gnu/packages/algebra.scm (giac-xcas): Update to 1.5.0-29.

gnu: mame: Update to 0.205.

* gnu/packages/emulators.scm (mame): Update to 0.205.
[arguments]: Remove unnecessary fix.

hydra: Use short timeouts for the QEMU jobs and system tests.

These builds shouldn't take too long.  Sometimes the guest kernel
crashes and the VM gets stuck; we should be able to terminate those jobs
quickly.

* build-aux/hydra/gnu-system.scm (qemu-jobs)[->alist]: Add
'max-silent-time' and 'timeout'.
(system-test-jobs)[test->thunk]: Likewise.

gnu: Add xfsprogs.

* gnu/packages/linux.scm (xfsprogs): New variable.

gnu: musescore: Update to 3.0.

* gnu/packages/music.scm (musescore): Update to 3.0.
[build-system]: Switch to CMake build system.
[arguments]: Apply build system change.
[native-inputs]: Remove unnecessary "cmake" input.

gnu: wget: Enable previously failing test.

* gnu/packages/wget.scm (wget)[arguments]: Remove custom phase skipping
SSL tests.

gnu: wget: Update to 1.20.1.

* gnu/packages/wget.scm (wget): Update to 1.20.1.

gnu: cdrtools: Do not record the kernel version.

This allows for reproducible builds across machines running different
versions of the kernel Linux.

* gnu/packages/cdrom.scm (cdrtools)[source](modules, snippet): New
fields.

gnu: mbedtls-apache: Update to 2.16.0.

* gnu/packages/tls.scm (mbedtls-apache): Update to 2.16.0.

gnu: samba: Update to 4.9.4.

* gnu/packages/samba.scm (samba): Update to 4.9.4.

gnu: strace: Update to 4.26.

* gnu/packages/linux.scm (strace): Update to 4.26.
[license]: Change to LGPL2.1+.

gnu: vim: Don't use unstable tarball.

* gnu/packages/vim.scm (vim)[source]: Use 'git-fetch'.

gnu: vim: Use https.

* gnu/packages/vim.scm (vim)[home-page]: Use https.

gnu: viewnior: Don't use unstable tarball.

* gnu/packages/image-viewers.scm (viewnior)[source]: Use 'git-fetch'.

lint: Check for unstable tarballs.

* guix/scripts/lint.scm (check-source-unstable-tarball): New procedure.
(%checkers): Add it.
* tests/lint.scm ("source-unstable-tarball", "source-unstable-tarball:
source #f", "source-unstable-tarball: valid", "source-unstable-tarball:
package named archive", "source-unstable-tarball: not-github",
"source-unstable-tarball: git-fetch"): New tests.
* doc/guix.texi (Invoking guix lint): Document it.

gnu: Add guile-mastodon.

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

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

pull: Add '--system'.

* guix/scripts/pull.scm (%options): Add '--system'.
(guix-pull): Honor it.
* doc/guix.texi (Invoking guix pull): Document it.

gnu: guix: Update to 7ba2b27.

* gnu/packages/package-management.scm (guix): Update to 7ba2b27.

gnu: ocaml: Fix indentation.

* gnu/packages/ocaml.scm: Fix indentation issues.

gnu: Add ocaml-yojson.

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

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add ocaml-biniou.

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

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add emacs-flycheck-dedukti.

* gnu/packages/emacs.scm (emacs-flycheck-dedukti): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add emacs-dedukti-mode.

* gnu/packages/emacs.scm (emacs-dedukti-mode): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: terminology: Update to 1.3.2.

* gnu/packages/enlightenment.scm (terminology): Update to 1.3.2.

gnu: kodi: Update to 18.0rc3.

* gnu/packages/kodi.scm (kodi): Update to 18.0rc3.

gnu: mit-scheme: Enable tests.

* gnu/packages/scheme.scm (mit-scheme)[arguments]: Remove #:tests?.  Add
'patch-/bin/sh' phase.
[native-inputs]: Add autoconf, automake, and libtool.

gnu: antlr2: Fix reproducibility.

* gnu/packages/java.scm (antlr2)[arguments]: Add a phase to fix a timestamp issue.

gnu: Add badvpn.

* gnu/packages/vpn.scm (badvpn): New variable.

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

offload: Remove unnecessary locking on machine slots.

This extra level of locking turned out to be unnecessary.

* guix/scripts/offload.scm (with-machine-lock): Remove.
(machine-lock-file): Remove.
(acquire-build-slot): Remove surrounding 'with-machine-lock'.

offload: Remove the "machine choice" lock.

This lock was unnecessary and it led to a contention when many 'guix
offload' processes are polling for available machines.

* guix/scripts/offload.scm (machine-choice-lock-file): Remove.
(choose-build-machine): Remove surrounding 'with-file-lock (machine-lock-file)'.

system: Fix missing space in boot labels for kernels that are inferior packages

* gnu/system.scm (kernel->boot-label): Add a missing space between
the kernel's package name and package version for inferior packages.

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

gnu: python-openid: Update to 3.1.0.

* gnu/packages/python-web.scm (python-openid): Update to 3.1.0.
[arguments]: Update custom 'check phase.
[native-inputs]: Add python-coverage.

gnu: python-gpg: Update to 1.10.0.

* gnu/packages/gnupg.scm (python-gpg): Update to 1.10.0.
[arguments]: Add custom phase to set 'gcc' call.

gnu: python-apache-libcloud: Update to 2.4.0.

* gnu/packages/python.scm (python-apache-libcloud): Update to 2.4.0.

gnu: translate-shell: Wrap binary.

* gnu/packages/dictionaries.scm (translate-shell)[arguments]: Add custom
phase to wrap the 'trans' binary with the inputs.
[native-inputs]: Move curl, fribidi, rlwrap ...
[inputs]: ... to here.

gnu: translate-shell: Update to 0.9.6.9.

* gnu/packages/dictionaries.scm (translate-shell): Update to 0.9.6.9.

gnu: translate-shell: Use 'git-fetch'.

* gnu/packages/dictionaries.scm (translate-shell)[source]: Use
'git-fetch'.
[arguments]: Add custom phase to remove "translate" file.

gnu: Add dedukti.

* gnu/packages/ocaml.scm (dedukti): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>

gnu: Add polybar.

* gnu/packages/wm.scm (polybar): New variable.

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

offload: Adjust 'test' and 'status' to the latest changes.

This is a followup to ed7b44370f71126087eb953f36aad8dc4c44109f;
following that commit, 'guix offload test' and 'guix offload status'
would abort with a backtrace instead of clearly diagnosing a missing
'guix' command on the build machine.

* guix/scripts/offload.scm (assert-node-has-guix): Call 'leave' when
NODE is not an inferior.  Remove 'catch' blocks for 'node-repl-error'.
(check-machine-availability): Invoke 'assert-node-has-guix' first.
(check-machine-status): Print a warning when 'remote-inferior' returns #f.

gnu: llvm@7.0.0: Update to 7.0.1.

* gnu/packages/llvm.scm (llvm@7.0.0): Update to 7.0.1. Rename to llvm@7.0.1.

gnu: librime: Remove bundled sources.

* gnu/packages/ibus.scm (librime)[source]: Add snippet to remove bundled
sources.
[arguments]: Add custom phase to not search bundled headers.
[native-inputs]: Add googletest, xorgproto.

gnu: librime: Update to 1.3.2.

* gnu/packages/ibus.scm (librime): Update to 1.3.2.

gnu: darktable: Update to 2.6.0.

* gnu/packages/photo.scm (darktable): Update to 2.6.0.

gnu: gcompris-qt: Enable tests.

* gnu/packages/education.scm (gcompris-qt)[arguments]: Add custom phase
to start X server before tests. Add configure flag to build tests.
Enable tests.
[native-inputs]: Add xorg-server.

gnu: gcompris-qt: Update to 0.95.

* gnu/packages/education.scm (gcompris-qt): Update to 0.95.
[arguments]: Remove custom phase to patch for qt@5.11.

gnu: guix: Update to 6f1e0bb.

* gnu/packages/package-management.scm (guix): Update to 6f1e0bb.

gnu: commencement: Do not graft early bootstrap packages.

This is a followup to e47c69f22638dc92ee962942b8e24284c8dee832 and a
repetition of f00b85ff8d34df0a1879e593d4a85629b8586af7.

* gnu/packages/commencement.scm (file-boot0): Use 'inherit' instead of
'package/inherit'.

gnu: Add font-mononoki.

* gnu/packages/fonts.scm (font-mononoki): New variable.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>

gnu: Remove obsolete package gpgmepp.

This package is unused, is part of gpgme since version 1.7 and has been marked
as superseded since 18 months now.

* gnu/packages/kde-frameworks.scm (gpgmepp): Remove variable.

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

offload: Use (guix inferior) instead of (ssh dist node).

Using inferiors and thus 'guix repl' simplifies setup on build
machines (no need to worry about GUILE_LOAD_PATH etc.)

Furthermore, the 'guix repl -t machine' protocol running in a remote
pipe addresses several issues with the current implementation of nodes
and RREPLs in Guile-SSH: fewer round trips, doesn't leave a 'guile
--listen' process behind it, stateless (since a new process is started
each time), more efficient (the SSH channel can be reused), more
reliable (no 'pgrep', 'pkill', and shellology; see
<https://github.com/artyom-poptsov/guile-ssh/issues/11> as an example.)

* guix/ssh.scm (inferior-remote-eval): New procedure.
(send-files): Use it instead of 'make-node' and 'node-eval'.
* guix/scripts/offload.scm (node-guile-version): New procedure.
(node-free-disk-space, transfer-and-offload, node-load)
(choose-build-machine, assert-node-has-guix): Use 'remote-inferior'
instead of 'make-node' and 'inferior-eval' instead of 'node-eval'.
(assert-node-can-import, assert-node-can-export): Likewise, and add
'session' parameter.
(check-machine-availability): Likewise, and add calls to
'close-inferior' and 'disconnect!'.
(check-machine-status): Likewise.
* doc/guix.texi (Daemon Offload Setup): Remove bit related to 'guile' in
$PATH and $GUILE_LOAD_PATH; mention 'guix' alone.

ssh: Add 'remote-inferior'.

* guix/inferior.scm (<inferior>)[close]: New field.
(port->inferior): New procedure.
(open-inferior): Rewrite in terms of 'port->inferior'.
(close-inferior): Honor INFERIOR's 'close' field.
(inferior-eval-with-store): Add FIXME comment.
* guix/ssh.scm (remote-inferior): New procedure.

gnu: parallel: Update to 20181222.

* gnu/packages/parallel.scm (parallel): Update to 20181222.

gnu: wine-staging: Update to 4.0-rc3.

* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.0-rc3.
* gnu/packages/wine.scm (wine-staging): Update to 4.0-rc3.

doc: Fix typo.

This is a follow-up to c39491829a0c1d870f8133b8f7a699152fc71503

* doc/guix.texi (Invoking guix refresh): Fix texinfo markup

scripts: refresh: Allow searching recursively.

* guix/scripts/refresh.scm (refresh-recursive, list-transitive): New
procedures.
(show-help): Document it.
(guix-refresh): Add flags and checks for new options.
* doc/guix.texi (Invoking guix refresh): Document new options.

gnu: ardour: Sort inputs and native-inputs.

* gnu/packages/audio.scm (ardour)[inputs]: Sort alphabetically.
[native-inputs]: Same.

gnu: ardour: Add libusb input.

* gnu/packages/audio.scm (ardour): [inputs]: add libusb.

gnu: ardour: Add a phase to install Freedesktop files.

* gnu/packages/audio.scm (ardour): [arguments]:
 - Correct comment about --freedesktop flag.
 - Adjust pretty printing for consistency.
 - Add 'install-free-desktop-files phase to actually install the files that
   were build. Fixes bug#33585 reported by baconicsynergy.

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

services: Add quassel.

* gnu/services/messaging.scm (<quassel-configuration>): New record type.
(%quassel-account, %quassel-activation): New procedures.
(quassel-service-type): New variable.
* gnu/tests/messaging.scm (%test-quassel): New variable.
(run-quassel-test): New procedure.
* doc/guix.texi (Messaging): Document quassel service.

doc: Example vm-image doesn't need firmware.

* gnu/system/examples/vm-image.tmpl (firmware): New field, explicitly
empty list.

gnu: file: Fix CVE-2018-10360.

* gnu/packages/patches/file-CVE-2018-10360.patch: New file.
* gnu/packages/file.scm (file)[replacement]: New field.
(file/fixed): New variable.
* gnu/packages/commencement.scm (file-boot0): Use 'package/inherit' to
receive security fixes.
* gnu/local.mk (dist_patch_DATA): Register it.

guix: lint: Check for source URIs redirecting to GitHub.

* guix/scripts/lint.scm (check-github-uri): New procedure.
(%checkers): Add it.
* doc/guix.texi (Invoking guix lint): Document it.
* tests/lint.scm ("github-url", "github-url: one suggestion"): New tests.

gnu: baloo: Fix build.

The substitute for removing a failing test did no longer work since
the way the test is included changed in v5.45.0: Formerly the test
has listed, now there is a separate statement for this test.

* gnu/package/kde-frameworks.scm((baloo)[arguments]<#phases>: Change
  substitute in phase 'remove-failing-test'.

gnu: libetpan: Update to 1.9.2.

* gnu/packages/mail.scm (libetpan): Update to 1.9.2.

gnu: vips: Update synopsis and description.

* gnu/packages/image-processing.scm (vips)[synopsis]: Remove leading article.
[description]: Add punctuation.

gnu: offlineimap: Update home page.

* gnu/packages/mail.scm (offlineimap)[home-page]: Use HTTPS.

gnu: offlineimap: Update to 7.2.2.

* gnu/packages/mail.scm (offlineimap): Update to 7.2.2.

gnu: offlineimap: Fetch sources from git.

* gnu/packages/mail.scm (offlineimap)[source]: Use GIT-FETCH.

gnu: pingus: Update home page.

* gnu/packages/games.scm (pingus)[home-page]: Use HTTPS and no file name.

gnu: z3: Update to 4.8.3 and provide python3 bindings

* gnu/packages/maths.scm (z3): Update to 4.8.3.
[build-system]: Switch from cmake to make, and use the current
scripts/mk_make.py build script instead of the now-deprecated
contrib/cmake/bootstrap.py.

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

gnu: Remove conkeror.

* gnu/packages/conkeror.scm: Remove.
* gnu/local.mk (GNU_SYSTEM_MODULES): Remove it.
* gnu/packages/gnuzilla.scm (conkeror): New variable.

offload: Display the normalized load in 'guix offload status' output.

Fixes a regression introduced in
bbe66a530a014e8146d63002a5294941e935f863 whereby the actual
load (non-normalized) would be displayed.

* guix/scripts/offload.scm (check-machine-status): Add call to
'normalized-load'.

gnu: emacs-guix: Update to 0.5.1.

* gnu/packages/emacs.scm (emacs-guix): Update to 0.5.1.

gnu: yaml-cpp: Don't provide gtest libraries or headers.

* gnu/packages/serialization.scm (yaml-cpp)[arguments]: Add a custom
phase to remove installed googletest shared libraries and headers.

gnu: opencc: Unbundle rapidjson.

* gnu/packages/textutils.scm (opencc)[source]: Add snippet to remove
rapidjson.
[arguments]: Add custom phase to substitute rapidjson.
[native-inputs]: Add rapidjson.

gnu: opencc: Use 'git-fetch'.

* gnu/packages/textutils.scm (opencc)[source]: Use 'git-fetch'.

gnu: claws-mail: Update to 3.17.3.

* gnu/packages/mail.scm (claws-mail): Update to 3.17.3.

gnu: claws-mail: Don't use NAME in source URI.

* gnu/packages/mail.scm (claws-mail)[source]: Hard-code name.

doc: Fix ‘serice’ -> ‘service’ typos.

* doc/guix.texi (Web Services): Fix typos.

services: Fix typo in (gnu services admin).

* gnu/services/admin.scm: Fix typo in licence header.

gnu: datamash: Update to 1.4.

* gnu/packages/datamash.scm (datamash): Update to 1.4.
[source]: Remove patch.
* gnu/packages/patches/datamash-arm-tests.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.

gnu: sbcl-next: Update inputs for 1.2.0.

* gnu/packages/web-browsers.scm (sbcl-next)[inputs]: Update for 1.2.0.

gnu: next-gtk-webkit: Update to 1.2.0.

* gnu/packages/web-browsers.scm (next-gtk-webkit): Update to 1.2.0.

gnu: linux-libre: Update to 4.19.12.

* gnu/packages/linux.scm (%linux-libre-version): Update to 4.19.12.
(%linux-libre-hash): Update hash.

gnu: linux-libre@4.14: Update to 4.14.90.

* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.90.
(%linux-libre-4.14-hash): Update hash.

gnu: linux-libre@4.9: Update to 4.9.147.

* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.147.

gnu: linux-libre@4.4: Update to 4.4.169.

* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.169.

gnu: entr: Fix typo in description.

* gnu/packages/entr.scm (entr)[description]: Fix typo.

gnu: guix: Update to bdf860c.

* gnu/packages/package-management.scm (guix): Update to bdf860c.

database: Use "write-ahead log" mode and set a long "busy timeout".

This should avoid "database is locked" errors when there's a lot of
concurrency, for instance when offloading simultaneously a lot of
builds.

* guix/store/database.scm (call-with-database): Add two 'sqlite-exec'
calls to set 'journal_mode' and 'busy_timeout'.

offload: Recognize build failures due to lack of disk space.

Previously, if a remote build would fail due to lack of disk space, this
would be considered a permanent failure and thus cached as a build
failure if the local daemon runs with '--cache-failures'.

* guix/scripts/offload.scm (transfer-and-offload): Upon
'nix-protocol-error?' call 'node-free-disk-space' and return 1 instead
of 100 if the result if lower than 10 MiB.

offload: Skip machines that are low on disk space.

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

* guix/scripts/offload.scm (node-free-disk-space): New procedure.
(%minimum-disk-space): New variable.
(choose-build-machine): Call 'node-free-disk-space' and take it into
account in addition to LOAD.
(check-machine-status): Display the free disk space.

offload: Decompose 'machine-load' into simpler procedures.

* guix/scripts/offload.scm (machine-load): Remove.
(node-load, normalized-load): New procedures.
(choose-build-machine): Call 'open-ssh-session' and 'make-node' from
here; pass the node to 'node-load'.
(check-machine-status): Use 'node-load' instead of 'machine-load'.  Call
'disconnect!' on SESSION.

doc: '--search' is case-insensitive.

Suggested by Chris Marusich <cmmarusich@gmail.com>.

* doc/guix.texi (Invoking guix package): Mention that --search is
case-insensitive.

gnu: ncmpc: Update to 0.33.

* gnu/packages/mpd.scm (ncmpc): Update to 0.33.
[source]: Use 'version-major' instead of string-splitting.

gnu: python-libvirt: Update to 4.10.0.

* gnu/packages/virtualization.scm (python-libvirt): Update to 4.10.0.