gnu: idris: Fix idris-default-arguments.

* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before
building and change --install to --build.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>

gnu: idris: Update to 1.0.

* gnu/packages/idris.scm (idris): Update to 1.0.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>

gnu: speedtest-cli: Update to 1.0.3.

* gnu/packages/networking.scm (speedtest-cli): Update to 1.0.3.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>

scripts: system: Introduce profile-boot-parameters.

* guix/scripts/system.scm (profile-boot-parameters): New variable.
(reinstall-grub): Use profile-boot-parameters.
(perform-action): Use profile-boot-parameters.

Follow-up to 2e58e05bb68d4b747882cfa2b460b132d456f54a.

gnu: ceph: Disable failing test.

* gnu/packages/patches/ceph-disable-unittest-throttle.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/storage.scm (ceph)[source]: Use it.

gnu: rocksdb: Don't build static library.

* gnu/packages/databases.scm (rocksdb)[arguments]<#:phases>: Add new Makefile
substitution. Remove 'delete-static-library' phase. Adjust
'build-release-libraries' phase to match.
<#:make-flags>: Remove redundant flag.

gnu: rocksdb: Disable failing test.

* gnu/packages/databases.scm (rocksdb)[arguments]<#:phases>: Add one more
test to 'disable-failing-tests' phase.

gnu: bc: Update to 1.07.1.

* gnu/packages/algebra.scm (bc): Update to 1.07.1.
[native-inputs]: Add ED and TEXINFO.
[arguments]<#:phases>: Remove.

gnu: mupdf: Update to 1.11.

Also delete two stray patches that were added in
92ae98e2a0c2ffc807111dbf7616df47a9d3b31c and lost in a subsequent merge
(mupdf/fixed was already gone at e90e0fad1b3ba79d81f02424e143ee6f4f736e8b).

* gnu/packages/patches/mupdf-CVE-2017-5896.patch,
gnu/packages/patches/mupdf-CVE-2017-5991.patch,
gnu/packages/patches/mupdf-mujs-CVE-2016-10132.patch,
gnu/packages/patches/mupdf-mujs-CVE-2016-10133.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
* gnu/packages/patches/mupdf-build-with-openjpeg-2.1.patch: Adjust.
* gnu/packages/pdf.scm (mupdf): Update to 1.11.
[source]: Remove mujs patches. Adjust snippet to source rename.

gnu: xf86-video-intel: Update to 2.99.917-5-b57abe2.

* gnu/packages/xorg.scm (xf86-video-intel): Update to 2.99.917-5-b57abe2.

gnu: kodi: Update to 18.0_alpha-2-478d306.

* gnu/packages/kodi.scm (kodi): Update to 18.0_alpha-2-478d306.
[arguments]<#:configure-flags>: Remove obsolete flag.

system: Pass boot-parameters to (gnu system grub).

* gnu/system.scm (operating-system-bootcfg): Pass boot-parameters.
* gnu/system/grub.scm (boot-parameters->menu-entry): New variable.
(grub-configuration-file): Use boot-parameters->menu-entry.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>

system: grub: Use (first all-entries) instead of (first entries).

* gnu/system/grub.scm (grub-configuration-file): Use (first all-entries)
instead of (first entries).

tests: Remove unused import (gnu system grub).

* gnu/tests/web.scm: Remove unused import.

scripts: system: Rename grub? and  install-grub? to bootloader? and install-bootloader?.

* guix/scripts/system.scm (perform-action): Rename grub? to bootloader,
(%options): rename install-grub? to install-bootloader?,
(%default-options): ditto,
(process-action): reindent and rename grub? to bootloader?.

system: Rename (internal) grub-device to fs->boot-device.

* gnu/system.scm (grub-device): Rename to...
(fs->boot-device): ... this.
(operating-system-grub.cfg): Adapt.
(operating-system-parameters-file): Adapt.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>

vm: Reword grub.cfg to bootcfg.

* gnu/build/vm.scm (register-grub.cfg-root): Reword grub.cfg to bootcfg,
(initialize-hard-disk): ditto,
* gnu/system/vm.scm (system-disk-image): ditto,
(system-qemu-image): ditto,
(system-qemu-image/shared-store): ditto.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>

system: Rename operating-system-grub.cfg to operating-system-bootcfg.

* gnu/system.scm (operating-system-grub.cfg): Rename to...
(operating-system-bootcfg): ... this.
* gnu/system/vm.scm (system-disk-image): Use operating-system-bootcfg.
(system-qemu-image): Use operating-system-bootcfg.
(system-qemu-image/shared-store): Use operating-system-bootcfg.
* guix/scripts/system.scm (perform-action): Use operating-system-bootcfg.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>

scripts: system: Back out operating-system-bootcfg change.

Follow-up to 475e2ce211ac05a814c1f1bc2b9648baa17ad369.

* guix/scripts/system.scm (perform-action): Back out operating-system-bootcfg
change.

gnu: wireshark: Update to 2.2.6.

* gnu/packages/networking.scm (wireshark): Update to 2.2.6.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>