Commit graph

53811 commits

Author SHA1 Message Date
Brett Gilio a5727da96a
gnu: coq: Reword several comments.
* gnu/packages/coq.scm (coq): Reword several comments to improve readability.
2020-01-06 21:03:21 -06:00
Brett Gilio 1ac4004502
gnu: coq: Update to 8.10.2.
* gnu/packages/coq.scm (coq): Update to 8.10.2.
[inputs]: Replace lablgtk with lablgtk3.
[arguments]: Remove remove-lablgtk-references phase, as it no longer appears
to be necessary.
2020-01-06 21:02:34 -06:00
Brett Gilio d977e24364
gnu: Add lablgtk3.
* gnu/packages/ocaml.scm (lablgtk3): New variable.

Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-06 20:57:28 -06:00
Brett Gilio 136919ba49
gnu: Add ocaml-cairo2.
* gnu/packages/ocaml.scm (ocaml-cairo2): New variable.

Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
2020-01-06 20:56:19 -06:00
Oleg Pykhalov c4970c53a6
gnu: emacs-treemacs: Install icons and scripts.
Reported by Christopher Howard <christopher@alaskasi.com>.

* gnu/packages/emacs-xyz.scm (emacs-treemacs)[inputs]: Add 'python'.
[arguments]: Add 'patch-paths' and 'install-data' phases.
2020-01-07 03:11:58 +03:00
Pierre Neidhardt 90a31c73b3
gnu: next: Update to 1.4.0.
* gnu/packages/web-browsers.scm (next): Update to 1.4.0.
2020-01-06 21:13:31 +01:00
Nicolas Goaziou 8b03b1a185
gnu: supertux: Fix description.
* gnu/packages/games.scm (supertux)[description]: Remove unnecessary words in
GNU Guix.
2020-01-06 18:28:59 +01:00
Nicolas Goaziou 54a8025927
gnu: supertux: Update to 0.6.1.
* gnu/packages/games.scm (supertux): Update to 0.6.1.
2020-01-06 18:27:52 +01:00
Pierre Neidhardt 743cebb6b0
gnu: Add emacs-helm-clojuredocs.
* gnu/packages/emacs-xyz.scm (emacs-helm-clojuredocs): New variable.
2020-01-06 17:50:08 +01:00
Pierre Neidhardt 41a3ace54e
gnu: Add emacs-edn.
* gnu/packages/emacs-xyz.scm (emacs-edn): New variable.
2020-01-06 17:50:08 +01:00
kanichos@yandex.ru 83460433b9
activation: Check whether /proc/sys/kernel/modprobe exists.
* gnu/build/activation.scm (activate-modprobe): Check whether
/proc/sys/kernel/modprobe exists before writing to it.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2020-01-06 16:31:54 +01:00
Jakub Kądziołka 6a6b8a3fcf
gnu: python-py3status: Fix patch of file path
* gnu/packages/python-xyz.scm (python-py3status): Fix patch of file
  path.
  [arguments]: Replace single-quotes with double-quotes so that the
  regex matches again. The "replace-with" value is not changed as it's
  not necessary and would introduce escaping noise.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-01-06 16:31:54 +01:00
kanichos@yandex.ru 5757c641f2
gnu: gnome-characters: Wrap program to provide the necessary Typelib files.
* gnu/packages/gnome.scm (gnome-characters)[arguments]: Add #:phases
with a 'wrap' phase.
[inputs]: Add GNOME-DESKTOP.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2020-01-06 16:31:54 +01:00
kanichos@yandex.ru 562b4e47cd
gnu: ibus-rime: Record the right file name in "rime.xml".
* gnu/packages/ibus.scm (ibus-rime)[arguments]: Add 'fix-file-names' phase.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2020-01-06 16:31:54 +01:00
Ludovic Courtès 6a7c4636d4
Adjust module autoloads.
In Guile < 2.9.7, autoloading a module would give you access to all its
bindings.  In future versions, autoloading a module gives access only to
the listed bindings, as per #:select (see <https://bugs.gnu.org/38895>).

This commit adjusts autoloads to the new semantics, allowing Guix to be
built with Guile 2.9.7/2.9.8.

* guix/build/download.scm <top level>: Remove call to 'module-autoload!'.
(load-gnutls): New procedure.
(tls-wrap): Call it.
* guix/git.scm <top level>: Remove call to 'module-autoload!'.
(load-git-submodules): New procedure.
(update-submodules): Call it instead of 'resolve-interface'.
* gnu/bootloader/grub.scm: Replace #:autoload with #:use-module.
* gnu/packages.scm: Likewise.
* gnu/packages/ssh.scm: Likewise.
* gnu/packages/tex.scm: Likewise.
* gnu/services/cuirass.scm: Likewise.
* gnu/services/mcron.scm: Likewise.
* guix/lint.scm: Augment list of bindings in #:autoload.
* guix/scripts/build.scm: Likewise.
* guix/scripts/gc.scm: Likewise.
* guix/scripts/pack.scm: Likewise.
* guix/scripts/publish.scm: Likewise.
* guix/scripts/pull.scm: Likewise.
* guix/utils.scm: Remove unnecessary #:autoload clauses; replace one
of them with #:use-module.
2020-01-06 16:31:54 +01:00
Ludovic Courtès 9961cde383
gnu: guix: Ensure the bootstrap binary tarballs aren't GC'd.
Previously, they could be GC'd by 'tests/guix-gc.sh' for instance, and
thus lacking by the time 'tests/guix-daemon.sh' runs, thereby leading to
a test failure.

Reported by Gábor Boskovits.

* gnu/packages/package-management.scm (guix)[arguments]: In
'copy-bootstrap-guile' phase, change 'intern' to register a GC root.
2020-01-06 16:31:54 +01:00
Pierre Neidhardt 3a695c01d7
gnu: Add emacs-helm-cider.
* gnu/packages/emacs-xyz.scm (emacs-helm-cider): New variable.
2020-01-06 14:49:18 +01:00
Efraim Flashner 251ce98c49
gnu: lua-luv: Update to 1.32.0-0.
* gnu/packages/lua.scm (lua-luv): Update to 1.32.0-0.
2020-01-06 15:01:29 +02:00
Efraim Flashner 6298f327db
gnu: lua5.1-sec: Update to 0.9.
* gnu/packages/lua.scm (lua5.1-sec): Update to 0.9.
2020-01-06 14:48:06 +02:00
Efraim Flashner 3095616bbf
gnu: lua-filesystem: Update to 1.7.0.2.
* gnu/packages/lua.scm (lua-filesystem): Update to 1.7.0.2.
2020-01-06 14:44:27 +02:00
Efraim Flashner 5545abecd2
gnu: make-lua-socket: Don't use unstable tarball.
* gnu/packages/lua.scm (make-lua-socket)[source]: Download using
git-fetch.
2020-01-06 14:33:21 +02:00
Efraim Flashner bf73eb142b
gnu: lua-lgi: Don't use unstable tarball.
* gnu/packages/lua.scm (lua-lgi)[source]: Download using git-fetch.
2020-01-06 14:31:20 +02:00
Efraim Flashner b63785ec79
gnu: make-lua-sec: Don't use unstable tarball.
* gnu/packages/lua.scm (make-lua-sec)[source]: Download using git-fetch.
2020-01-06 14:29:37 +02:00
Efraim Flashner f2dc5f5bb6
gnu: make-lua-filesystem: Don't use unstable tarball.
* gnu/packages/lua.scm (make-lua-filesystem)[source]: Download using
git-fetch. Parameterize commit version.
2020-01-06 14:26:19 +02:00
Timotej Lazar 769b96b62e
gnu: sdl-mixer: Describe runtime configuration.
* gnu/packages/sdl.scm (sdl-mixer)[description]: Add information about runtime
MIDI playback options.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2020-01-06 12:40:29 +01:00
Efraim Flashner c27710859c
system: linux-container: Recommend guix container.
* gnu/system/linux-container.scm (container-script)[script]: Recommend
using 'guix container' to get a shell inside the running container.
2020-01-06 12:20:21 +02:00
Efraim Flashner 837da4d36e
gnu: python-anaconda-client: Don't use unstable tarball.
* gnu/packages/package-management.scm (python-anaconda-client)[source]:
Download using git-fetch.
2020-01-06 12:20:20 +02:00
Efraim Flashner 6def31e8fd
gnu: python-conda: Don't use unstable tarball.
* gnu/packages/package-management.scm (python-conda)[source]: Download
using git-fetch.
[arguments]: Adjust custom 'remove-failing-tests to make a file writable.
2020-01-06 12:20:20 +02:00
Efraim Flashner f711b71bd5
gnu: python2-unicodecsv: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python2-unicodecsv)[source]: Download
using git-fetch.
2020-01-06 12:20:20 +02:00
Efraim Flashner 6b61fc47e2
gnu: python2-numpy@1.8: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python2-numpy-1.8)[source]: Download
using git-fetch.
2020-01-06 12:20:20 +02:00
Oleg Pykhalov 5912aa4d0e
gnu: Add emacs-lsp-lua-emmy.
* gnu/packages/emacs-xyz.scm (emacs-lsp-lua-emmy): New variable.
2020-01-06 13:02:41 +03:00
Oleg Pykhalov f2bb968e47
gnu: Add emacs-lsp-java.
* gnu/packages/emacs-xyz.scm (emacs-lsp-java): New variable.
2020-01-06 12:56:02 +03:00
Oleg Pykhalov 5097ce0ebd
gnu: Add emacs-treemacs-extra.
* gnu/packages/emacs-xyz.scm (emacs-treemacs-extra): New variable.
2020-01-06 12:56:02 +03:00
Oleg Pykhalov 83b7917a2d
gnu: Add emacs-treemacs.
* gnu/packages/emacs-xyz.scm (emacs-treemacs): New variable.
2020-01-06 12:56:01 +03:00
Oleg Pykhalov e916a202a1
gnu: Add emacs-pfuture.
* gnu/packages/emacs-xyz.scm (emacs-pfuture): New variable.
2020-01-06 12:56:01 +03:00
Oleg Pykhalov 0daf7e263a
gnu: swh-plugins: Update home-page to new uri.
* gnu/packages/audio.scm (swh-plugins)[home-page]: Update to new uri.
2020-01-06 12:56:01 +03:00
Efraim Flashner 263ea4ebc3
gnu: python-axolotl: Don't use unstable tarball.
* gnu/packages/python-crypto.scm (python-axolotl)[source]: Download
using git-fetch.
2020-01-06 11:49:37 +02:00
Efraim Flashner 2ff17f06e7
gnu: perl-net-patricia: Fix build.
* gnu/packages/networking.scm (perl-net-patricia)[arguments]: Add custom
phase to prevent linking with 'nsl'.
2020-01-06 11:43:23 +02:00
Efraim Flashner e5d885c86a
gnu: perl-ole-storage-lite: Update to 0.20.
* gnu/packages/perl.scm (perl-ole-storage-lite): Update to 0.20.
2020-01-06 11:39:30 +02:00
Efraim Flashner ac0ea38c2c
gnu: python-whatever: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-whatever)[source]: Download using
git-fetch.
2020-01-06 09:39:24 +02:00
Efraim Flashner 26bb7fc627
gnu: python-urwidtrees: Don't use setuptools.
* gnu/packages/python-xyz.scm (python-urwidtrees)[arguments]: Build
without setuptools.
2020-01-06 09:35:27 +02:00
Efraim Flashner c83640728c
gnu: python-urwidtrees: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-urwidtrees)[source]: Download
using git-fetch.
2020-01-06 09:34:36 +02:00
Efraim Flashner 957c683354
gnu: python-mwclient: Update to 0.10.0.
* gnu/packages/python-xyz.scm (python-mwclient): Update to 0.10.0.
[source]: Download using git-fetch.
[propagated-inputs]: Remove python-requests.
[native-inputs]: Remove python-pytest-pep8, python-pytest-cov. Add
python-pytest-runner.
2020-01-06 09:15:33 +02:00
Efraim Flashner a9722d0dbf
gnu: python-jsonpatch-0.4: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-jsonpatch-0.4)[source]: Download
using git-fetch.
2020-01-06 09:03:17 +02:00
Efraim Flashner 854c5c9565
gnu: python-jsonpatch: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-jsonpatch)[source]: Download using
git-fetch.
2020-01-06 09:01:41 +02:00
Efraim Flashner 11e46326e3
gnu: python-docopt: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-docopt)[source]: Download using
git-fetch.
2020-01-06 08:58:54 +02:00
Brett Gilio 1792a70655
gnu: libtgvoip: Fix failing build on i686-linux.
* gnu/local.mk (libtgvoip): Add patches for libtgvoip-disable-sse2.patch
and libtgvoip-disable-webrtc.patch

* gnu/packages/patches/libtgvoip-disable-sse2.patch: New file.

* gnu/packages/patches/libtgvoip-disable-webrtc.patch: New file.

* gnu/packages/telephony.scm (libtgvoip): Fix building on i686-linux.
[source]: Reference patches for correcting failing build on i686-linux
architecture.

Reported-by: Diego Nicola Barbato <dnbarbato@posteo.de>
Fixes <bugs.gnu.org/38944>.
2020-01-05 19:31:07 -06:00
Brett Gilio 5a0d73911c
gnu: libtgvoip: Update to 2.4.4.
* gnu/packages/telephony.scm (libtgvoip): Update to 2.4.4.
[source]: Change source URI to reflect upstream.
[inputs]: Add pulseaudio and alsa-lib.

This change corrects a bug, and allows for cross-compilation on armhf architectures.
2020-01-05 19:03:07 -06:00
Brett Gilio 641981d3af
gnu: coq-mathcomp: Update to 1.10.0.
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.10.0.
[arguments]: Modify comment about tests. Remove redundant setting of COQLIB
environment variable.
2020-01-05 17:06:02 -06:00
Ricardo Wurmus 537d08271e
gnu: agi-bio: Update hash.
The previous hash corresponded to the previous commit.

* gnu/packages/opencog.scm (agi-bio)[source]: Update hash.
2020-01-05 21:38:59 +01:00