doc: Give an example of arguments for the 'run-vm.sh' script. Suggested by Oleg Pykhalov <go.wigust@gmail.com>. * doc/guix.texi (Invoking guix system): Give an example of passing arguments to the 'run-vm.sh' script.
gnu: ffmpeg: Update to 3.3.3. * gnu/packages/video.scm (ffmpeg): Update to 3.3.3.
gnu: qemu: Build with support for Linux AIO Add libaio as an input, such that QEMU is built with support for Asynchronous I/O (AIO). * gnu/packages/virtualization.scm (qemu)[inputs]: Uncomment libaio.
services: Add memcached. * gnu/services/databases.scm (memcached-service-type, %memcached-accounts): New variables. (<memcached-configuration>): New record type. (memcached-service-type): New procedures. * gnu/tests/databases.scm: New file. * doc/guix.texi (Database Services): Document the new memcached service. * gnu/local.mk (GNU_SYSTEM_MODULES): Add entry for tests/databases.scm.
gnu: Add memcached. * gnu/packages/databases.scm (memcached): New variable.
gnu: retroarch: Update to 1.6.3. * gnu/packages/games.scm (retroarch): Update to 1.6.3.
gnu: yosys: Add dependency on z3. * gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
gnu: Add z3. * gnu/packages/maths.scm (z3): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: erlang: Fix man-pages search path of 'erl -man'. * gnu/packages/patches/erlang-man-path.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/erlang.scm (erlang)[source]: Use it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
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.