install: Really overwrite TARGET/var/guix/profiles/system-1-link.

* gnu/build/install.scm (populate-root-file-system): Delete system-1-link
  under TARGET, not under /.  Use 'catch' and check for EEXIST instead of
  (false-if-exception (delete-file ...)).

gnu: mysql: Update to 5.6.25.

* gnu/packages/databases.scm (mysql): Update to 5.6.25.
  [source]: Use 'version-major+minor'.
  [build-system]: Change to cmake-build-system.  Adjust arguments
  accordingly.
  [inputs]: Add libaio.  Remove procps.  Move perl to 'native-inputs'.

gnu: Add proof-general.

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

install: Omit /root from the binary tarball.

Suggested by Thomas Schwinge <thomas@codesourcery.com>.

* gnu/system/install.scm (self-contained-tarball): Remove
  "/root/.guix-profile" from the 'tar' arguments.
* doc/guix.texi (Binary Installation): Add a step to create
  ~root/.guix-profile.

gnu: youtube-dl: Update to 2015.06.04.1.

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

gnu: evince: Update to 3.16.1, add more inputs.

* gnu/packages/gnome.scm (evince): Update to 3.16.1.
  [inputs]: Add djvulibre, libtiff, gnome-desktop and libsecret.

Co-authored-by: David Hashe <david.hashe@dhashe.com>

gnu: geoclue: Update to 2.2.0.

* gnu/packages/gnome.scm (geoclue): Update to 2.2.0.

gnu: python-numpy: Build against OpenBLAS.

* gnu/packages/python.scm (python-numpy)[inputs]: Use "openblas" instead of
  "atlas".
* gnu/packages/python.scm (python-numpy)[arguments]: Configure build against
  OpenBLAS.

Modified-By: Mark H Weaver <mhw@netris.org>

gnu: icecat: Update to 31.7.0-gnu1.

* gnu/packages/patches/icecat-CVE-2015-0797.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt3.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt4.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt3.patch,
  gnu/packages/patches/icecat-CVE-2015-2713-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2713-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2716.patch: Remove files.
* gnu-system.am (dist_patch_DATA): Remove them.
* gnu/packages/gnuzilla.scm (icecat): Update to 31.7.0-gnu1.  Remove patches.

gnu: tor: Update to 0.2.6.8.

* gnu/packages/tor.scm (tor): Update to 0.2.6.8.
  [native-inputs]: Add python-2.

system: 'hosts-file' is now a file-like object.

Partly fixes <http://bugs.gnu.org/20720>.
Reported by Alex Kost <alezost@gmail.com>.

* gnu/system.scm (default-/etc/hosts): Change 'text-file' to 'plain-file'.
  (maybe-file->monadic): New procedure.
  (operating-system-etc-directory): Use it.
* doc/guix.texi (operating-system Reference, Networking Services): Adjust
  accordingly.

system: 'sudoers' is now a file-like object.

Partly fixes <http://bugs.gnu.org/20720>
Reported by Alex Kost <alezost@gmail.com>.

* gnu/system.scm (etc-directory): Change default #:sudoers value to a
  'plain-file'.  Don't bind it.  Remove #~#$.
  (maybe-string->file): New procedure.
  (operating-system-etc-directory): Use it.
  (%sudoers-specification): Use 'plain-file'.
* doc/guix.texi (operating-system Reference): Adjust accordingly.

gnu: Add magit-svn.

* gnu/packages/emacs.scm (magit-svn): New variable.

gnu: Add coq.

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

gnu: Add hevea.

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

gnu: Add camlp5.

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

gnu: ocaml: Update to 4.02.1.

* gnu/packages/ocaml.scm (ocaml)[version]: Update to 4.02.1.
  [source]: Use 'version-major+minor'.  Use .xz tarball.
  [home-page]: Update URI.
  [license]: gpl2 -> lgpl2.0.
  [inputs]: Add libx11, gcc:lib, and zlib.  Remove perl.
  [native-inputs]: New field, with perl and pkg-config.
  [arguments]: In #:modules, remove (srfi srfi-1), add (web server).  Use
  'modify-phases'.  Enable parallel build.  Add 'patch-/bin/sh-references' and
  'prepare-socket-test' phases.  Rename 'check-after-install' phase to
  'check'.  Use 'with-directory-excursion' in 'check' phase.  Remove unused
  keyword arguments from custom phases.

gnu: Add devhelp.

* gnu/packages/gnome.scm (devhelp): New variable.

gnu: guile-opengl: Patch dynamic-link call for 'libGLU' to glu.

* gnu/packages/gl.scm (guile-opengl)[inputs]: Add glu.
  [arguments]: Patch dynamic-link call for 'libGLU' to glu instead of
  mesa in the 'patch-dynamic-link' phase.

gnu: Add LibreOffice.

* gnu/packages/libreoffice.scm (xmlsec-src-libreoffice, libreoffice):
  New variables.

Co-authored-by: John Darrington <jmd@gnu.org>