guix build: '--with-source' overrides the 'replacement' of a package.

* guix/scripts/build.scm (package-with-source): Set 'replacement' to #f.
* tests/scripts-build.scm ("options->transformation, with-source,
replacement"): New test.

Merge branch 'version-0.12.0'

gnu: Fix typo in comment.

* gnu/services/sddm.scm: Fix typo.

gnu: qemu: Update to 2.8.0.

* gnu/packages/qemu.scm (qemu): Update to 2.8.0.
[source]: Remove patches.
[arguments]: Set host_cc during 'configure.
* gnu/packages/patches/qemu-CVE-2016-8576.patch,
gnu/packages/patches/qemu-CVE-2016-8577.patch,
gnu/packages/patches/qemu-CVE-2016-8577.patch: Remove files.
* gnu/local.mk (dist_patch_DATA): Remove them.

gnu: coq: Build coqide

* gnu/packages/ocaml.scm (coq): Build coqide.

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

gnu: lablgtk: use ocamlfind in installation

* gnu/packages/ocaml.scm (lablgtk): Use ocamlfind in installation.

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

gnu: lablgtk: Update to 2.18.5

* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.5.

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

Revert "gnu: curl: Update replacement to 7.52.0 [fixes CVE-2016-{9586,9952,9953}]."

The curl maintainers said this about 7.52.0:

"Attention! We will release a patch update within a few days to fix a
serious security problem found in curl 7.52.0. You may consider holding
off until then."

This message was displayed at <https://curl.haxx.se/download.html> on
2016-12-21.

This reverts commit 42366b35c3f9f8dc8b059d3369b8196a4b832c18.

gnu: mlt: Update to 6.4.1.

* gnu/packages/video.scm (mlt): Update to 6.4.1.

gnu: jsoncpp: Update to 1.8.0.

* gnu/packages/serialization.scm (jsoncpp): Update to 1.8.0.

gnu: xf86-video-vmware: Update to 13.2.1.

* gnu/packages/xorg.scm (xf86-video-vmware): Update to 13.2.1.
[native-inputs]: Add eudev.

gnu: xcb-util-xrm: Update to 1.2.

* gnu/packages/xdisorg.scm (xcb-util-xrm): Update to 1.2.

gnu: xcape: Update to 1.2.

* gnu/packages/xdisorg.scm (xcape): Update to 1.2.

gnu: curl: Update replacement to 7.52.0 [fixes CVE-2016-{9586,9952,9953}].

* gnu/packages/curl.scm (curl)[replacement]: Update to 7.52.0.
(curl-7.51.0): Replace with ...
(curl-7.52.0): ... this.

gnu: guix: Really skip "pivot-root" test.

This is a followup to fe9bdb581e6c4a62795f4ced6f4a5a8eab1a34e4 (which
introduced 'test-equal' for the "pivot-root" test) and to
198eac2bca075d0e71e504f1e8c46fddc62171bb (which updated the regexps for
skipped tests.)

* gnu/packages/package-management.scm (guix-0.12.0)[arguments]: In
'disable-container-tests' phase, add "test-equal" to the regexp, so that
"pivot-root" is really skipped.

gnu: guix: Update development snapshot.

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

gnu: linux-libre: Avoid invalid "kconfig" input on armhf and mips64el.

This fixes a bug whereby:

  guix build linux-libre -s armhf-linux

would fail with:

  guix build: error: gnu/packages/linux.scm:231:2: package `linux-libre-4.8.15' has an invalid input: ("kconfig" #f)

This led 'tests/guix-system.sh' to fail.

* gnu/packages/linux.scm (make-linux-libre)[native-inputs]: Never add #f
as a "kconfig" input.

gnu: imagemagick: Update to 6.9.7-0.

* gnu/packages/imagemagick.scm (imagemagick): Update to 6.9.7-0.

gnu: nmap: Update to 7.40.

* gnu/packages/admin.scm (nmap): Update to 7.40.

gnu: linux-libre: Avoid invalid "kconfig" input on armhf and mips64el.

This fixes a bug whereby:

  guix build linux-libre -s armhf-linux

would fail with:

  guix build: error: gnu/packages/linux.scm:231:2: package `linux-libre-4.8.15' has an invalid input: ("kconfig" #f)

This led 'tests/guix-system.sh' to fail.

* gnu/packages/linux.scm (make-linux-libre)[native-inputs]: Never add #f
as a "kconfig" input.