Commit Graph

23085 Commits

Author SHA1 Message Date
宋文武 c00c90ca37
gnu: retroarch: Update to 1.6.3.
* gnu/packages/games.scm (retroarch): Update to 1.6.3.
2017-07-30 15:15:34 +08:00
Theodoros Foradis 85cdab64c6
gnu: yosys: Add dependency on z3.
* gnu/packages/fpga.scm (yosys): Add z3 to propagated-inputs.
2017-07-29 23:03:47 +02:00
Theodoros Foradis 313844d9dc
gnu: Add z3.
* gnu/packages/maths.scm (z3): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-29 23:03:47 +02:00
Peter Mikkelsen a4078acf4a
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>
2017-07-29 23:03:47 +02:00
Oleg Pykhalov 53ac6977ac
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>
2017-07-29 23:03:47 +02:00
Marius Bakke baa6b77789
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.
2017-07-29 23:01:17 +02:00
Kyle Meyer 24b115dff5
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>
2017-07-29 23:19:17 +03:00
Kyle Meyer d0a5205292
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>
2017-07-29 23:19:17 +03:00
Kyle Meyer 469c7ce058
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>
2017-07-29 23:19:16 +03:00
Alex Kost b1a6a70684
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.
2017-07-29 23:18:56 +03:00
Danny Milosavljevic 444f9dccc2
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".
2017-07-29 19:24:04 +02:00
Julien Lepiller 303690c405
gnu: Add coq-interval.
* gnu/packages/ocaml.scm (coq-interval): New variable.
2017-07-29 15:19:07 +02:00
Julien Lepiller b09c4244f7
gnu: Add coq-coquelicot.
* gnu/packages/ocaml.scm (coq-coquelicot): New variable.
2017-07-29 15:19:03 +02:00
Julien Lepiller 380c65de94
gnu: Add coq-mathcomp.
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
2017-07-29 15:18:59 +02:00
Julien Lepiller 88191acee2
gnu: Add coq-gappa.
* gnu/packages/ocaml.scm (coq-gappa): New variable.
2017-07-29 15:18:54 +02:00
Julien Lepiller d163d97d92
gnu: Add coq-flocq.
* gnu/packages/ocaml.scm (coq-flocq): New variable.
2017-07-29 15:18:45 +02:00
Marius Bakke 8f82110492
gnu: gnupg: Update to 2.1.22.
* gnu/packages/gnupg.scm (gnupg): Update to 2.1.22.
2017-07-29 14:47:24 +02:00
Ben Woodcroft a9085f0c5c
gnu: metabat: Update to 2.11.2.
* gnu/packages/bioinformatics.scm (metabat): Update to 2.11.2.
2017-07-29 22:37:47 +10:00
Jan Nieuwenhuizen 0e016722ee
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.
2017-07-29 14:33:19 +02:00
Tobias Geerinckx-Rice 9f9b7a0d01
gnu: gptfdisk: Update to 1.0.3.
* gnu/packages/disk.scm (gptfdisk): Update to 1.0.3.
2017-07-29 14:15:48 +02:00
Christopher Baines 730ed6ec8b
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.
2017-07-29 12:45:03 +01:00
Arun Isaac b5244fcb49
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.
2017-07-29 16:47:37 +05:30
Oleg Pykhalov e8d9a87862
gnu: Add emacs-rpm-spec-mode.
* gnu/packages/emacs.scm (emacs-rpm-spec-mode): New variable.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-07-29 16:41:34 +05:30
Jan Nieuwenhuizen 3b56776fb8
gnu: mescc-tools: Update to 0.2.
* gnu/packages/mes.scm (mescc-tools): Update to 0.2.
2017-07-29 11:37:04 +02:00
Mark H Weaver 38ba8a6116
gnu: linux-libre: Update to 4.12.4.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.12.4.
(%linux-libre-hash): Update hash.
2017-07-28 21:08:51 -04:00
Mark H Weaver dfa0c66cc9
gnu: linux-libre@4.9: Update to 4.9.40.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.40.
2017-07-28 21:08:19 -04:00
Mark H Weaver 6b96478c6d
gnu: linux-libre@4.4: Update to 4.4.79.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.79.
2017-07-28 21:07:31 -04:00
Tobias Geerinckx-Rice 4f9dd97e65
gnu: sssd: Update to 1.15.3.
* gnu/packages/sssd.scm (sssd): Update to 1.15.3.
[native-inputs]: Add util-linux.
2017-07-29 01:08:17 +02:00
Tobias Geerinckx-Rice d02e19aa2c
gnu: bind: Update to 9.11.2.
* gnu/packages/dns.scm (isc-bind): Update to 9.11.2.
2017-07-29 00:32:00 +02:00
Oleg Pykhalov 32c4a5060e
gnu: emacs-auctex: Update to 11.91.0.
* gnu/packages/emacs.scm (emacs-auctex): Update to 11.91.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-28 23:30:41 +02:00
Oleg Pykhalov 1f88f189eb
gnu: Add tome4.
* gnu/packages/games.scm (tome4): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-28 23:30:41 +02:00
Danny Milosavljevic 1975c754f4
bootloader: Use <menu-entry> for the bootloader side.
* gnu/bootloader.scm (menu-entry-device-mount-point): New variable.  Export it.
(<menu-entry>: New field "device".
* gnu/bootloader/grub.scm (grub-confgiuration-file): Handle <menu-entry>
entries.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Handle
<menu-entry> entries.
* gnu/system.scm (menu->entry->boot-parameters): Delete variable.
(boot-parameters->menu-entry): New variable.  Export it.
(operating-system-bootcfg): Make OLD-ENTRIES a list of <menu-entry>.
* guix/script/system.scm (reinstall-bootloader): Fix bootcfg usage.
(perform-action): Fix bootcfg usage.
2017-07-28 21:56:18 +02:00
Ludovic Courtès 9ca8aa38ec
gnu: guix: Add dependency on Guile-Git.
* gnu/packages/package-management.scm (guix)[arguments] <wrap-program>:
Add Guile-Git to PATH.
[propagated-inputs]: Add GUILE-GIT.
(guile2.0-guix)[propagated-inputs]: Add GUILE2.0-GIT.
2017-07-28 18:09:44 +02:00
Ludovic Courtès 3a53759807
gnu: guile-git: Update snapshot.
* gnu/packages/guile.scm (guile-git): Update to commit e156a10.
[native-inputs]: Add TEXINFO.
2017-07-28 18:09:43 +02:00
Ludovic Courtès f0e492f0a5
utils: Factorize XDG directory handling.
* guix/ui.scm (config-directory): Remove.
* guix/utils.scm (xdg-directory, config-directory): New procedures.
(cache-directory): Rewrite in terms of 'xdg-directory'.
* guix/scripts/substitute.scm (%narinfo-cache-directory): Pass #:ensure?
 #f to 'cache-directory'.
2017-07-28 18:09:43 +02:00
Ludovic Courtès 6f0f55148d
gnu: le-certs: Create OpenSSL hash symlinks.
* gnu/packages/certs.scm (le-certs)[arguments]: Run 'c_rehash' on the
result.
[native-inputs]: New fields.
2017-07-28 18:09:43 +02:00
Tobias Geerinckx-Rice c4b006ba12
gnu: btrfs-progs: Update to 4.12.
* gnu/packages/linux.scm (btrfs-progs): Update to 4.12.
[outputs]: Remove inaccurate comment on size.
2017-07-28 16:32:04 +02:00
Ben Woodcroft f112bd26ae
gnu: redis: Update to 4.0.1.
* gnu/packages/databases.scm (redis): Update to 4.0.1.
2017-07-28 21:10:49 +10:00
Ben Woodcroft ac01cb0790
gnu: ruby-json-pure: Update to 2.1.0.
* gnu/packages/ruby.scm (ruby-json-pure): Update to 2.1.0.
[arguments]: Replace 'replace-git-ls-files' phase with 'fix-rakefile'
and 'regenerate-gemspec' phases.
[inputs]: Remove ruby-permutation, ruby-utils, ragel. Add ruby-test-unit,
ruby-simplecov.
2017-07-28 20:18:53 +10:00
Ben Woodcroft 9c14bc7a4d
gnu: bundler: Update to 1.15.3.
* gnu/packages/ruby.scm (bundler): Update to 1.15.3.
2017-07-28 20:18:53 +10:00
Ben Woodcroft a2a558147a
gnu: ruby-ffi: Update to 1.9.18.
* gnu/packages/ruby.scm (ruby-ffi): Update to 1.9.18.
2017-07-28 20:18:52 +10:00
Ben Woodcroft 00eeb45fca
gnu: redis: Update to 4.0.0.
* gnu/packages/databases.scm (redis): Update to 4.0.0.
2017-07-28 20:18:52 +10:00
Ben Woodcroft efb94fda64
gnu: ruby-nokogiri: Update to 1.8.0.
* gnu/packages/ruby.scm (ruby-nokogiri): Update to 1.8.0.
2017-07-28 20:18:52 +10:00
Ben Woodcroft 26f4a37736
gnu: ruby-mini-portile2: Update to 2.2.0.
* gnu/packages/ruby.scm (ruby-mini-portile2): Update to 2.2.0.
2017-07-28 20:18:51 +10:00
Tobias Geerinckx-Rice 0f6cf5a61c
gnu: nautilus: Update to 3.24.2.1.
* gnu/packages/gnome.scm (nautilus): Update to 3.24.2.1.
2017-07-28 01:02:40 +02:00
Tobias Geerinckx-Rice 73fe4552aa
gnu: gptfdisk: Update description.
* gnu/packages/disk.scm (gptfdisk): Remove outdated statement and use @dfn.
2017-07-28 01:02:39 +02:00
Tobias Geerinckx-Rice 0193e3be53
gnu: goffice: Update to 3.24.2.1.
* gnu/packages/gnome.scm (goffice): Update to 3.24.2.1.
2017-07-28 01:02:39 +02:00
Tobias Geerinckx-Rice c8fc9a379b
gnu: shotwell: Update to 0.26.2.
* gnu/packages/gnome.scm (shotwell): Update to 0.26.2.
2017-07-28 01:02:39 +02:00
Marius Bakke fb2715720a
gnu: whois: Update to 5.2.17.
* gnu/packages/networking.scm (whois): Update to 5.2.17.
2017-07-28 00:07:45 +02:00
Marius Bakke bd51224936
gnu: nss, nss-certs: Update to 3.32.
This release includes minor code changes and many certificate updates:
<https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/NSS_3.32_release_notes>

* gnu/packages/certs.scm (nss-certs): Update to 3.32.
* gnu/packages/gnuzilla.scm (nss): Update to 3.32.
[arguments]: Prevent another test file from being installed.
* gnu/packages/patches/nss-pkgconfig.patch: Adjust.
2017-07-28 00:07:28 +02:00