aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* gnu: coq-interval: Update to 3.4.1.Brett Gilio2020-01-06
| | | | | | * gnu/packages/coq.scm (coq-interval): Update to 3.4.1. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake.
* gnu: coq-coquelicot: Truncate home-page.Brett Gilio2020-01-06
| | | | * gnu/packages/coq.scm (coq-coquelicot)[home-page]: Truncate home-page.
* gnu: coq-coquelicot: Update to 3.0.3.Brett Gilio2020-01-06
| | | | | | * gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.3. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake.
* gnu: coq-gappa: Use HTTPS home page URI.Brett Gilio2020-01-06
| | | | * gnu/packages/coq.scm (coq-gappa)[home-page]: Use HTTPS URI.
* gnu: coq-gappa: Update to 1.4.2.Brett Gilio2020-01-06
| | | | | | | | | * gnu/packages/coq.scm (coq-gappa): Update to 1.4.2. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake, as well as campl5 for parsing. [propagated-inputs]: coq-gabba now depends on coq-flocq. [arguments]: Temporarily disable check chase until error resolution is identified.
* gnu: coq-flocq: Use HTTPS home page URI.Brett Gilio2020-01-06
| | | | * gnu/packages/coq.scm (coq-flocq)[home-page]: Use HTTPS URI.
* gnu: coq-flocq: Update to 3.2.0.Brett Gilio2020-01-06
| | | | | | | * gnu/packages/coq.scm (coq-flocq): Update to 3.2.0. [source]: Use GIT-FETCH and GIT-FILE-NAME. [native-inputs]: Add autoconf and automake for remake. [arguments]: Add remove-failing-examples phase to work around union error.
* gnu: coq: Reword several comments.Brett Gilio2020-01-06
| | | | * gnu/packages/coq.scm (coq): Reword several comments to improve readability.
* gnu: coq: Update to 8.10.2.Brett Gilio2020-01-06
| | | | | | | * 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.
* gnu: Add lablgtk3.Brett Gilio2020-01-06
| | | | | | * gnu/packages/ocaml.scm (lablgtk3): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
* gnu: Add ocaml-cairo2.Brett Gilio2020-01-06
| | | | | | * gnu/packages/ocaml.scm (ocaml-cairo2): New variable. Co-authored-by: Julien Lepiller <julien@lepiller.eu>.
* gnu: emacs-treemacs: Install icons and scripts.Oleg Pykhalov2020-01-07
| | | | | | | 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.
* gnu: next: Update to 1.4.0.Pierre Neidhardt2020-01-06
| | | | * gnu/packages/web-browsers.scm (next): Update to 1.4.0.
* gnu: supertux: Fix description.Nicolas Goaziou2020-01-06
| | | | | * gnu/packages/games.scm (supertux)[description]: Remove unnecessary words in GNU Guix.
* gnu: supertux: Update to 0.6.1.Nicolas Goaziou2020-01-06
| | | | * gnu/packages/games.scm (supertux): Update to 0.6.1.
* gnu: Add emacs-helm-clojuredocs.Pierre Neidhardt2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-helm-clojuredocs): New variable.
* gnu: Add emacs-edn.Pierre Neidhardt2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-edn): New variable.
* activation: Check whether /proc/sys/kernel/modprobe exists.kanichos@yandex.ru2020-01-06
| | | | | | | * 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>
* gnu: python-py3status: Fix patch of file pathJakub Kądziołka2020-01-06
| | | | | | | | | | * 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>
* gnu: gnome-characters: Wrap program to provide the necessary Typelib files.kanichos@yandex.ru2020-01-06
| | | | | | | | * 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>
* gnu: ibus-rime: Record the right file name in "rime.xml".kanichos@yandex.ru2020-01-06
| | | | | | * gnu/packages/ibus.scm (ibus-rime)[arguments]: Add 'fix-file-names' phase. Co-authored-by: Ludovic Courtès <ludo@gnu.org>
* Adjust module autoloads.Ludovic Courtès2020-01-06
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* gnu: guix: Ensure the bootstrap binary tarballs aren't GC'd.Ludovic Courtès2020-01-06
| | | | | | | | | | | 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.
* gnu: Add emacs-helm-cider.Pierre Neidhardt2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-helm-cider): New variable.
* gnu: lua-luv: Update to 1.32.0-0.Efraim Flashner2020-01-06
| | | | * gnu/packages/lua.scm (lua-luv): Update to 1.32.0-0.
* gnu: lua5.1-sec: Update to 0.9.Efraim Flashner2020-01-06
| | | | * gnu/packages/lua.scm (lua5.1-sec): Update to 0.9.
* gnu: lua-filesystem: Update to 1.7.0.2.Efraim Flashner2020-01-06
| | | | * gnu/packages/lua.scm (lua-filesystem): Update to 1.7.0.2.
* gnu: make-lua-socket: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/lua.scm (make-lua-socket)[source]: Download using git-fetch.
* gnu: lua-lgi: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | * gnu/packages/lua.scm (lua-lgi)[source]: Download using git-fetch.
* gnu: make-lua-sec: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | * gnu/packages/lua.scm (make-lua-sec)[source]: Download using git-fetch.
* gnu: make-lua-filesystem: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/lua.scm (make-lua-filesystem)[source]: Download using git-fetch. Parameterize commit version.
* gnu: sdl-mixer: Describe runtime configuration.Timotej Lazar2020-01-06
| | | | | | | * gnu/packages/sdl.scm (sdl-mixer)[description]: Add information about runtime MIDI playback options. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
* system: linux-container: Recommend guix container.Efraim Flashner2020-01-06
| | | | | * gnu/system/linux-container.scm (container-script)[script]: Recommend using 'guix container' to get a shell inside the running container.
* gnu: python-anaconda-client: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/package-management.scm (python-anaconda-client)[source]: Download using git-fetch.
* gnu: python-conda: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | | * gnu/packages/package-management.scm (python-conda)[source]: Download using git-fetch. [arguments]: Adjust custom 'remove-failing-tests to make a file writable.
* gnu: python2-unicodecsv: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-xyz.scm (python2-unicodecsv)[source]: Download using git-fetch.
* gnu: python2-numpy@1.8: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-xyz.scm (python2-numpy-1.8)[source]: Download using git-fetch.
* gnu: Add emacs-lsp-lua-emmy.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-lsp-lua-emmy): New variable.
* gnu: Add emacs-lsp-java.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-lsp-java): New variable.
* gnu: Add emacs-treemacs-extra.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-treemacs-extra): New variable.
* gnu: Add emacs-treemacs.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-treemacs): New variable.
* gnu: Add emacs-pfuture.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/emacs-xyz.scm (emacs-pfuture): New variable.
* gnu: swh-plugins: Update home-page to new uri.Oleg Pykhalov2020-01-06
| | | | * gnu/packages/audio.scm (swh-plugins)[home-page]: Update to new uri.
* gnu: python-axolotl: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-crypto.scm (python-axolotl)[source]: Download using git-fetch.
* gnu: perl-net-patricia: Fix build.Efraim Flashner2020-01-06
| | | | | * gnu/packages/networking.scm (perl-net-patricia)[arguments]: Add custom phase to prevent linking with 'nsl'.
* gnu: perl-ole-storage-lite: Update to 0.20.Efraim Flashner2020-01-06
| | | | * gnu/packages/perl.scm (perl-ole-storage-lite): Update to 0.20.
* gnu: python-whatever: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-xyz.scm (python-whatever)[source]: Download using git-fetch.
* gnu: python-urwidtrees: Don't use setuptools.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-xyz.scm (python-urwidtrees)[arguments]: Build without setuptools.
* gnu: python-urwidtrees: Don't use unstable tarball.Efraim Flashner2020-01-06
| | | | | * gnu/packages/python-xyz.scm (python-urwidtrees)[source]: Download using git-fetch.
* gnu: python-mwclient: Update to 0.10.0.Efraim Flashner2020-01-06
| | | | | | | | * 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.
generated by cgit v1.2.3 (git 2.45.0) at 2024-12-15 04:51:36 +0000