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
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
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
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
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
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
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
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
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
303690c405
gnu: Add coq-interval.
...
* gnu/packages/ocaml.scm (coq-interval): New variable.
2017-07-29 15:19:07 +02:00
b09c4244f7
gnu: Add coq-coquelicot.
...
* gnu/packages/ocaml.scm (coq-coquelicot): New variable.
2017-07-29 15:19:03 +02:00
380c65de94
gnu: Add coq-mathcomp.
...
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
2017-07-29 15:18:59 +02:00
88191acee2
gnu: Add coq-gappa.
...
* gnu/packages/ocaml.scm (coq-gappa): New variable.
2017-07-29 15:18:54 +02:00
d163d97d92
gnu: Add coq-flocq.
...
* gnu/packages/ocaml.scm (coq-flocq): New variable.
2017-07-29 15:18:45 +02:00
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
73fe4552aa
gnu: gptfdisk: Update description.
...
* gnu/packages/disk.scm (gptfdisk): Remove outdated statement and use @dfn.
2017-07-28 01:02:39 +02:00
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
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
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
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
6571754462
gnu: nspr: Update to 4.16.
...
* gnu/packages/gnuzilla.scm (nspr): Update to 4.16.
2017-07-27 22:15:27 +02:00
90335ccea6
gnu: python-cryptography: Update to 2.0.2.
...
* gnu/packages/python.scm (python-cryptography-vectors, python-cryptography):
Update to 2.0.2.
2017-07-27 22:15:26 +02:00
Theodoros Foradis