Commit graph

38186 commits

Author SHA1 Message Date
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
Ludovic Courtès
62b845c5e2
offload: Display the normalized load in 'guix offload status' output.
Fixes a regression introduced in
bbe66a530a whereby the actual
load (non-normalized) would be displayed.

* guix/scripts/offload.scm (check-machine-status): Add call to
'normalized-load'.
2018-12-23 22:14:15 +01:00
Alex Kost
1a1b54b5bd
gnu: emacs-guix: Update to 0.5.1.
* gnu/packages/emacs.scm (emacs-guix): Update to 0.5.1.
2018-12-23 22:49:12 +03:00
Efraim Flashner
9a1ef44ec2
gnu: yaml-cpp: Don't provide gtest libraries or headers.
* gnu/packages/serialization.scm (yaml-cpp)[arguments]: Add a custom
phase to remove installed googletest shared libraries and headers.
2018-12-23 20:55:06 +02:00
Efraim Flashner
1506d491f9
gnu: opencc: Unbundle rapidjson.
* gnu/packages/textutils.scm (opencc)[source]: Add snippet to remove
rapidjson.
[arguments]: Add custom phase to substitute rapidjson.
[native-inputs]: Add rapidjson.
2018-12-23 19:48:24 +02:00
Efraim Flashner
bf5af9342c
gnu: opencc: Use 'git-fetch'.
* gnu/packages/textutils.scm (opencc)[source]: Use 'git-fetch'.
2018-12-23 19:48:21 +02:00
Tobias Geerinckx-Rice
23ae876b91
gnu: claws-mail: Update to 3.17.3.
* gnu/packages/mail.scm (claws-mail): Update to 3.17.3.
2018-12-23 17:57:07 +01:00
Tobias Geerinckx-Rice
ca6f5ab817
gnu: claws-mail: Don't use NAME in source URI.
* gnu/packages/mail.scm (claws-mail)[source]: Hard-code name.
2018-12-23 17:57:07 +01:00
Tobias Geerinckx-Rice
6f832eba1e
doc: Fix ‘serice’ -> ‘service’ typos.
* doc/guix.texi (Web Services): Fix typos.
2018-12-23 17:57:07 +01:00
Tobias Geerinckx-Rice
83715a7eec
services: Fix typo in (gnu services admin).
* gnu/services/admin.scm: Fix typo in licence header.
2018-12-23 17:57:06 +01:00
Efraim Flashner
b83ddd03d9
gnu: datamash: Update to 1.4.
* gnu/packages/datamash.scm (datamash): Update to 1.4.
[source]: Remove patch.
* gnu/packages/patches/datamash-arm-tests.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2018-12-23 16:37:51 +02:00
Pierre Neidhardt
fc1f3f2547
gnu: sbcl-next: Update inputs for 1.2.0.
* gnu/packages/web-browsers.scm (sbcl-next)[inputs]: Update for 1.2.0.
2018-12-23 12:05:12 +01:00
Pierre Neidhardt
194d1ec336
gnu: next-gtk-webkit: Update to 1.2.0.
* gnu/packages/web-browsers.scm (next-gtk-webkit): Update to 1.2.0.
2018-12-23 12:04:56 +01:00
Mark H Weaver
2cd8c24ec3
gnu: linux-libre: Update to 4.19.12.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.19.12.
(%linux-libre-hash): Update hash.
2018-12-22 23:56:55 -05:00
Mark H Weaver
97f67f9da0
gnu: linux-libre@4.14: Update to 4.14.90.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.90.
(%linux-libre-4.14-hash): Update hash.
2018-12-22 23:55:50 -05:00
Mark H Weaver
37467b2dc1
gnu: linux-libre@4.9: Update to 4.9.147.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.147.
2018-12-22 23:55:17 -05:00