Commit Graph

38301 Commits (37e461e6f4e68966b914cf5e0fc831a640f7b09b)

Author SHA1 Message Date
Gabriel Hondet 4a2e1e7280
gnu: Add emacs-dedukti-mode.
* gnu/packages/emacs.scm (emacs-dedukti-mode): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2018-12-27 09:18:31 +01:00
Efraim Flashner 6286880a8b
gnu: terminology: Update to 1.3.2.
* gnu/packages/enlightenment.scm (terminology): Update to 1.3.2.
2018-12-27 09:53:03 +02:00
Efraim Flashner d037353c76
gnu: kodi: Update to 18.0rc3.
* gnu/packages/kodi.scm (kodi): Update to 18.0rc3.
2018-12-27 09:35:46 +02:00
Kei Kebreau fbf7b7e9e6
gnu: mit-scheme: Enable tests.
* gnu/packages/scheme.scm (mit-scheme)[arguments]: Remove #:tests?.  Add
'patch-/bin/sh' phase.
[native-inputs]: Add autoconf, automake, and libtool.
2018-12-26 16:37:45 -05:00
Julien Lepiller 79f6fc0d99
gnu: antlr2: Fix reproducibility.
* gnu/packages/java.scm (antlr2)[arguments]: Add a phase to fix a timestamp issue.
2018-12-26 18:58:02 +01:00
Meiyo Peng 7ba2b27467
gnu: Add badvpn.
* gnu/packages/vpn.scm (badvpn): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-26 18:40:49 +01:00
Ludovic Courtès 0ef595b996
offload: Remove unnecessary locking on machine slots.
This extra level of locking turned out to be unnecessary.

* guix/scripts/offload.scm (with-machine-lock): Remove.
(machine-lock-file): Remove.
(acquire-build-slot): Remove surrounding 'with-machine-lock'.
2018-12-26 18:40:49 +01:00
Ludovic Courtès 7f4d102c2f
offload: Remove the "machine choice" lock.
This lock was unnecessary and it led to a contention when many 'guix
offload' processes are polling for available machines.

* guix/scripts/offload.scm (machine-choice-lock-file): Remove.
(choose-build-machine): Remove surrounding 'with-file-lock (machine-lock-file)'.
2018-12-26 18:40:49 +01:00
Pkill -9 b12f8720f5
system: Fix missing space in boot labels for kernels that are inferior packages
* gnu/system.scm (kernel->boot-label): Add a missing space between
the kernel's package name and package version for inferior packages.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-26 18:40:49 +01:00
Efraim Flashner 10275b7466
gnu: python-openid: Update to 3.1.0.
* gnu/packages/python-web.scm (python-openid): Update to 3.1.0.
[arguments]: Update custom 'check phase.
[native-inputs]: Add python-coverage.
2018-12-26 12:29:48 +02:00
Efraim Flashner fb4fcfab9d
gnu: python-gpg: Update to 1.10.0.
* gnu/packages/gnupg.scm (python-gpg): Update to 1.10.0.
[arguments]: Add custom phase to set 'gcc' call.
2018-12-26 12:29:48 +02:00
Efraim Flashner fb075e2fda
gnu: python-apache-libcloud: Update to 2.4.0.
* gnu/packages/python.scm (python-apache-libcloud): Update to 2.4.0.
2018-12-26 12:29:45 +02:00
Efraim Flashner cf51b828af
gnu: translate-shell: Wrap binary.
* gnu/packages/dictionaries.scm (translate-shell)[arguments]: Add custom
phase to wrap the 'trans' binary with the inputs.
[native-inputs]: Move curl, fribidi, rlwrap ...
[inputs]: ... to here.
2018-12-25 22:05:51 +02:00
Efraim Flashner f76335740c
gnu: translate-shell: Update to 0.9.6.9.
* gnu/packages/dictionaries.scm (translate-shell): Update to 0.9.6.9.
2018-12-25 22:05:51 +02:00
Efraim Flashner cfa3b7182d
gnu: translate-shell: Use 'git-fetch'.
* gnu/packages/dictionaries.scm (translate-shell)[source]: Use
'git-fetch'.
[arguments]: Add custom phase to remove "translate" file.
2018-12-25 22:05:48 +02:00
Gabriel Hondet 5895696e4c
gnu: Add dedukti.
* gnu/packages/ocaml.scm (dedukti): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2018-12-25 18:47:37 +01:00
Meiyo Peng d8dcbcc91d
gnu: Add polybar.
* gnu/packages/wm.scm (polybar): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-25 17:14:49 +01:00
Ludovic Courtès 10b2834f82
offload: Adjust 'test' and 'status' to the latest changes.
This is a followup to ed7b44370f71126087eb953f36aad8dc4c44109f;
following that commit, 'guix offload test' and 'guix offload status'
would abort with a backtrace instead of clearly diagnosing a missing
'guix' command on the build machine.

* guix/scripts/offload.scm (assert-node-has-guix): Call 'leave' when
NODE is not an inferior.  Remove 'catch' blocks for 'node-repl-error'.
(check-machine-availability): Invoke 'assert-node-has-guix' first.
(check-machine-status): Print a warning when 'remote-inferior' returns #f.
2018-12-25 17:13:43 +01:00
Rutger Helling 522d1b87bc
gnu: llvm@7.0.0: Update to 7.0.1.
* gnu/packages/llvm.scm (llvm@7.0.0): Update to 7.0.1. Rename to llvm@7.0.1.
2018-12-25 12:30:48 +01:00
Efraim Flashner 950ebfd116
gnu: librime: Remove bundled sources.
* gnu/packages/ibus.scm (librime)[source]: Add snippet to remove bundled
sources.
[arguments]: Add custom phase to not search bundled headers.
[native-inputs]: Add googletest, xorgproto.
2018-12-25 08:51:01 +02:00
Efraim Flashner 66b266e6df
gnu: librime: Update to 1.3.2.
* gnu/packages/ibus.scm (librime): Update to 1.3.2.
2018-12-25 08:50:58 +02:00
Leo Famulari 5a3f32ca75
gnu: darktable: Update to 2.6.0.
* gnu/packages/photo.scm (darktable): Update to 2.6.0.
2018-12-24 18:01:36 -05:00
Efraim Flashner 7e48e8492a
gnu: gcompris-qt: Enable tests.
* gnu/packages/education.scm (gcompris-qt)[arguments]: Add custom phase
to start X server before tests. Add configure flag to build tests.
Enable tests.
[native-inputs]: Add xorg-server.
2018-12-24 22:19:40 +02:00
Efraim Flashner 3619b26196
gnu: gcompris-qt: Update to 0.95.
* gnu/packages/education.scm (gcompris-qt): Update to 0.95.
[arguments]: Remove custom phase to patch for qt@5.11.
2018-12-24 22:19:39 +02:00
Ludovic Courtès 78bc4eb627
gnu: guix: Update to 6f1e0bb.
* gnu/packages/package-management.scm (guix): Update to 6f1e0bb.
2018-12-24 18:48:19 +01:00
Ludovic Courtès 6f1e0bb792
gnu: commencement: Do not graft early bootstrap packages.
This is a followup to e47c69f226 and a
repetition of f00b85ff8d.

* gnu/packages/commencement.scm (file-boot0): Use 'inherit' instead of
'package/inherit'.
2018-12-24 18:18:24 +01:00
Gabriel Hondet 3c5e13642c
gnu: Add font-mononoki.
* gnu/packages/fonts.scm (font-mononoki): New variable.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2018-12-24 16:20:32 +01:00
Hartmut Goebel 311462f642
gnu: Remove obsolete package gpgmepp.
This package is unused, is part of gpgme since version 1.7 and has been marked
as superseded since 18 months now.

* gnu/packages/kde-frameworks.scm (gpgmepp): Remove variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-24 16:10:14 +01:00
Ludovic Courtès ed7b44370f
offload: Use (guix inferior) instead of (ssh dist node).
Using inferiors and thus 'guix repl' simplifies setup on build
machines (no need to worry about GUILE_LOAD_PATH etc.)

Furthermore, the 'guix repl -t machine' protocol running in a remote
pipe addresses several issues with the current implementation of nodes
and RREPLs in Guile-SSH: fewer round trips, doesn't leave a 'guile
--listen' process behind it, stateless (since a new process is started
each time), more efficient (the SSH channel can be reused), more
reliable (no 'pgrep', 'pkill', and shellology; see
<https://github.com/artyom-poptsov/guile-ssh/issues/11> as an example.)

* guix/ssh.scm (inferior-remote-eval): New procedure.
(send-files): Use it instead of 'make-node' and 'node-eval'.
* guix/scripts/offload.scm (node-guile-version): New procedure.
(node-free-disk-space, transfer-and-offload, node-load)
(choose-build-machine, assert-node-has-guix): Use 'remote-inferior'
instead of 'make-node' and 'inferior-eval' instead of 'node-eval'.
(assert-node-can-import, assert-node-can-export): Likewise, and add
'session' parameter.
(check-machine-availability): Likewise, and add calls to
'close-inferior' and 'disconnect!'.
(check-machine-status): Likewise.
* doc/guix.texi (Daemon Offload Setup): Remove bit related to 'guile' in
$PATH and $GUILE_LOAD_PATH; mention 'guix' alone.
2018-12-24 16:06:32 +01:00
Ludovic Courtès af15fe13b6
ssh: Add 'remote-inferior'.
* guix/inferior.scm (<inferior>)[close]: New field.
(port->inferior): New procedure.
(open-inferior): Rewrite in terms of 'port->inferior'.
(close-inferior): Honor INFERIOR's 'close' field.
(inferior-eval-with-store): Add FIXME comment.
* guix/ssh.scm (remote-inferior): New procedure.
2018-12-24 16:06:32 +01:00
Rutger Helling 8f5825540d
gnu: parallel: Update to 20181222.
* gnu/packages/parallel.scm (parallel): Update to 20181222.
2018-12-24 13:15:14 +01:00
Rutger Helling 09654adee7
gnu: wine-staging: Update to 4.0-rc3.
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.0-rc3.
* gnu/packages/wine.scm (wine-staging): Update to 4.0-rc3.
2018-12-24 13:15:14 +01:00
Efraim Flashner b599fed5b0
doc: Fix typo.
This is a follow-up to c39491829a

* doc/guix.texi (Invoking guix refresh): Fix texinfo markup
2018-12-24 12:39:20 +02:00
Efraim Flashner c39491829a
scripts: refresh: Allow searching recursively.
* guix/scripts/refresh.scm (refresh-recursive, list-transitive): New
procedures.
(show-help): Document it.
(guix-refresh): Add flags and checks for new options.
* doc/guix.texi (Invoking guix refresh): Document new options.
2018-12-24 12:19:17 +02:00
Brendan Tildesley 19dd523c99
gnu: ardour: Sort inputs and native-inputs.
* gnu/packages/audio.scm (ardour)[inputs]: Sort alphabetically.
[native-inputs]: Same.
2018-12-24 12:05:04 +02:00
Brendan Tildesley 72d9ef1b0c
gnu: ardour: Add libusb input.
* gnu/packages/audio.scm (ardour): [inputs]: add libusb.
2018-12-24 12:04:18 +02:00
Brendan Tildesley ff46016e90
gnu: ardour: Add a phase to install Freedesktop files.
* gnu/packages/audio.scm (ardour): [arguments]:
 - Correct comment about --freedesktop flag.
 - Adjust pretty printing for consistency.
 - Add 'install-free-desktop-files phase to actually install the files that
   were build. Fixes bug#33585 reported by baconicsynergy.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2018-12-24 12:04:02 +02:00
Efraim Flashner dcad57d5fc
services: Add quassel.
* gnu/services/messaging.scm (<quassel-configuration>): New record type.
(%quassel-account, %quassel-activation): New procedures.
(quassel-service-type): New variable.
* gnu/tests/messaging.scm (%test-quassel): New variable.
(run-quassel-test): New procedure.
* doc/guix.texi (Messaging): Document quassel service.
2018-12-24 11:18:36 +02:00
Efraim Flashner 3c515b2225
doc: Example vm-image doesn't need firmware.
* gnu/system/examples/vm-image.tmpl (firmware): New field, explicitly
empty list.
2018-12-24 11:14:29 +02:00
Efraim Flashner e47c69f226
gnu: file: Fix CVE-2018-10360.
* gnu/packages/patches/file-CVE-2018-10360.patch: New file.
* gnu/packages/file.scm (file)[replacement]: New field.
(file/fixed): New variable.
* gnu/packages/commencement.scm (file-boot0): Use 'package/inherit' to
receive security fixes.
* gnu/local.mk (dist_patch_DATA): Register it.
2018-12-24 11:12:52 +02:00
Arun Isaac 0865d8a8f6
guix: lint: Check for source URIs redirecting to GitHub.
* guix/scripts/lint.scm (check-github-uri): New procedure.
(%checkers): Add it.
* doc/guix.texi (Invoking guix lint): Document it.
* tests/lint.scm ("github-url", "github-url: one suggestion"): New tests.
2018-12-24 08:15:17 +05:30
Hartmut Goebel 450226ebc1
gnu: baloo: Fix build.
The substitute for removing a failing test did no longer work since
the way the test is included changed in v5.45.0: Formerly the test
has listed, now there is a separate statement for this test.

* gnu/package/kde-frameworks.scm((baloo)[arguments]<#phases>: Change
  substitute in phase 'remove-failing-test'.
2018-12-23 23:42:49 +01:00
Marius Bakke 8f2253af7d
gnu: libetpan: Update to 1.9.2.
* gnu/packages/mail.scm (libetpan): Update to 1.9.2.
2018-12-23 23:22:20 +01:00
Marius Bakke 37c1cf89fd
gnu: vips: Update synopsis and description.
* gnu/packages/image-processing.scm (vips)[synopsis]: Remove leading article.
[description]: Add punctuation.
2018-12-23 23:22:20 +01:00
Marius Bakke 684633e2cf
gnu: offlineimap: Update home page.
* gnu/packages/mail.scm (offlineimap)[home-page]: Use HTTPS.
2018-12-23 23:22:20 +01:00
Marius Bakke 081915c15b
gnu: offlineimap: Update to 7.2.2.
* gnu/packages/mail.scm (offlineimap): Update to 7.2.2.
2018-12-23 23:22:20 +01:00
Marius Bakke bc7c9f7770
gnu: offlineimap: Fetch sources from git.
* gnu/packages/mail.scm (offlineimap)[source]: Use GIT-FETCH.
2018-12-23 23:22:20 +01:00
Marius Bakke 5f5782311e
gnu: pingus: Update home page.
* gnu/packages/games.scm (pingus)[home-page]: Use HTTPS and no file name.
2018-12-23 23:22:19 +01:00
Amin Bandali fa574a6d43
gnu: z3: Update to 4.8.3 and provide python3 bindings
* gnu/packages/maths.scm (z3): Update to 4.8.3.
[build-system]: Switch from cmake to make, and use the current
scripts/mk_make.py build script instead of the now-deprecated
contrib/cmake/bootstrap.py.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-23 22:14:15 +01:00
Ludovic Courtès f5301f005a
gnu: Remove conkeror.
* gnu/packages/conkeror.scm: Remove.
* gnu/local.mk (GNU_SYSTEM_MODULES): Remove it.
* gnu/packages/gnuzilla.scm (conkeror): New variable.
2018-12-23 22:14:15 +01:00