gnu: tome4: Clean up snippet.

* gnu/packages/games.scm (tome4)[source](snippet): Use a single
'substitute*' call instead of 'for-each'.

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

gnu: vim: Update to 8.0.0808.

* gnu/packages/vim.scm (vim): Update to 8.0.0808.
[arguments]: Remove obsolete 'make-bit-reproducable' phase.
(vim-full): Update to 8.0.0808.
[arguments]: Remove 'drop-failing-tests' phase.

gnu: emacs: Check GUIX_ENVIRONMENT when autoloading packages.

Check the environment profile so that we autoload packages that are given as
arguments to "guix environment" but are not in the system or user profile.
Note that the union of Emacs packages in the system, user, and environment
profiles will be autoloaded even when --pure was passed to "guix environment",
because it's not clear how to detect that --pure was given.

* gnu/packages/aux-files/emacs/guix-emacs.el (guix-emacs-autoload-packages):
Add Emacs packages from GUIX_ENVIRONMENT profile.

Signed-off-by: Alex Kost <alezost@gmail.com>

gnu: Remove emacs-seq.

The seq.el library has been included with Emacs since version 25.1.

* gnu/packages/emacs.scm (emacs-seq): Remove variable.
(flycheck, emacs-cider)[propagated-inputs]: Remove emacs-seq.

Signed-off-by: Alex Kost <alezost@gmail.com>

gnu: Remove let-alist.

The let-alist package has been included with Emacs since version 25.1.

* gnu/packages/emacs.scm (let-alist): Remove variable.
(flycheck, emacs-pdf-tools, emacs-sx)[propagated-inputs]: Remove let-alist.

Signed-off-by: Alex Kost <alezost@gmail.com>

gnu: emacs-ess: Install elisp files in "guix.d".

Fixes <http://bugs.gnu.org/27686>.
Reported by Adonay Felipe Nogueira <adfeno@openmailbox.org>.

* gnu/packages/emacs.scm (emacs-ess)[arguments]: Add LISPDIR to
'make-flags' to install *.el files into "guix.d" sub-directory.

gnu: grub-efi: Add mtools input.

* gnu/packages/bootloaders.scm: Add (gnu packages mtools).
(grub-efi)[inputs]: Add mtools.
[arguments]: Add phase "use-absolute-mtools-path".

gnu: Add coq-interval.

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

gnu: Add coq-coquelicot.

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

gnu: Add coq-mathcomp.

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

gnu: Add coq-gappa.

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

gnu: Add coq-flocq.

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

gnu: gnupg: Update to 2.1.22.

* gnu/packages/gnupg.scm (gnupg): Update to 2.1.22.

gnu: metabat: Update to 2.11.2.

* gnu/packages/bioinformatics.scm (metabat): Update to 2.11.2.

gnu: mes: Update to 0.9.

* gnu/packages/mes.scm (mes): Update to 0.9.
[arguments]: Delete `strip' phase.
[synopsis]: Rewrite to be more descriptive.
[description]: Include expanded acronym.

gnu: gptfdisk: Update to 1.0.3.

* gnu/packages/disk.scm (gptfdisk): Update to 1.0.3.

gnu: services: admin: Add tailon.

* gnu/services/admin.scm
  (<tailon-configuration>, <tailon-configuration-file>): New record types.
  (tailon-configuration-files-string, tailon-shepherd-service): New
  procedures.
  (%tailon-accounts, tailon-service-type: New variables.
* doc/guix.texi (Monitoring Services: Document the Tailon service.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/tests/admin.scm.
* gnu/tests/admin.scm: New file.

gnu: arandr: Remove make-xrandr-available phase.

wrap-program functionality is already provided by python-build-system.

* gnu/packages/xdisorg.scm (arandr): Remove make-xrandr-available phase.

gnu: Add emacs-rpm-spec-mode.

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

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

gnu: mescc-tools: Update to 0.2.

* gnu/packages/mes.scm (mescc-tools): Update to 0.2.