Ludovic Courtès
d229215051
diagnostics: Avoid highlighting complete messages.
...
* guix/diagnostics.scm (%highlight-argument): Don't highlight ARG if it
contains white space.
2019-08-28 18:52:52 +02:00
Ludovic Courtès
8f67a76a54
lint: Log diagnostics with 'info', not 'warning'.
...
* guix/scripts/lint.scm (emit-warnings): Use 'info', not 'warning'.
This removes the unhelpful "warning:" prefix that commit
3d33c93cef
introduced.
2019-08-28 18:52:51 +02:00
John Soo
5416d9a942
gnu: Add cedille.
...
* gnu/packages/cedille.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-28 18:52:51 +02:00
John Soo
83ac4c099a
gnu: agda-ial: Fix install step.
...
* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-28 18:52:51 +02:00
Ludovic Courtès
8146c48632
swh: Correctly handle visits without a snapshot.
...
As discussed at
<https://sympa.inria.fr/sympa/arc/swh-devel/2019-08/msg00016.html >.
* guix/swh.scm (string*): New procedure.
(<visit>)[snapshot-url]: Pass 'string*' as the conversion procedure.
[status]: Pass 'string->symbol' as the conversion procedure.
(visit-snapshot): Return #f when 'visit-snapshot-url' returns #f.
(lookup-origin-revision): Filter to visits for which
'visit-snapshot-url' is true.
2019-08-28 18:52:51 +02:00
Ludovic Courtès
b8815c5ec4
swh: 'swh-download' prints debugging info.
...
* guix/git-download.scm (git-fetch): Print a message before calling
'swh-download'.
* guix/swh.scm (swh-download): Add #:log-port. Write debugging messages
to LOG-PORT.
2019-08-28 18:52:51 +02:00
Efraim Flashner
c6deb680e2
gnu: Add rust-walkdir.
...
* gnu/packages/crates-io.scm (rust-walkdir): New variable.
2019-08-28 16:53:10 +03:00
Efraim Flashner
af72ed1696
gnu: Add rust-void.
...
* gnu/packages/crates-io.scm (rust-void): New variable.
2019-08-28 16:53:10 +03:00
Efraim Flashner
8aa60ffe8d
gnu: Add rust-version-check.
...
* gnu/packages/crates-io.scm (rust-verison-check): New variable.
2019-08-28 16:53:10 +03:00
Efraim Flashner
6da1f9c6de
gnu: Add rust-untrusted.
...
* gnu/packages/crates-io.scm (rust-untrusted): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
2f19d32979
gnu: Add rust-ucd-trie.
...
* gnu/packages/crates-io.scm (rust-ucd-trie): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
ce71b229ec
gnu: Add rust-typeable.
...
* gnu/packages/crates-io.scm (rust-typeable): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
5a77fcca3f
gnu: Add rust-try-lock.
...
* gnu/packages/crates-io.scm (rust-try-lock): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
efc244c53b
gnu: Add rust-try-from.
...
* gnu/packages/crates-io.scm (rust-try-from): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
ea1c425569
gnu: Add rust-traitobject.
...
* gnu/packages/crates-io.scm (rust-traitobject): New variable.
2019-08-28 16:53:09 +03:00
Efraim Flashner
07a7cd1884
gnu: Add rust-tracing-core.
...
* gnu/packages/crates-io.scm (rust-tracing-core): New variable.
2019-08-28 16:53:08 +03:00
Efraim Flashner
9248ad6db2
gnu: Add rust-tokio-mock-task.
...
* gnu/packages/crates-io.scm (rust-tokio-mock-task): New variable.
2019-08-28 16:53:08 +03:00
Efraim Flashner
de72b804f1
gnu: Add rust-threadpool.
...
* gnu/packages/crates-io.scm (rust-threadpool): New variable.
2019-08-28 16:53:08 +03:00
Efraim Flashner
d154192fa9
gnu: Add rust-thread-local.
...
* gnu/packages/crates-io.scm (rust-thread-local): New variable.
2019-08-28 16:53:08 +03:00
Efraim Flashner
0583bd6353
gnu: Add rust-termcolor.
...
* gnu/packages/crates-io.scm (rust-termcolor): New variable.
2019-08-28 16:53:08 +03:00
Efraim Flashner
bfd6150ea8
gnu: Add rust-streaming-stats.
...
* gnu/packages/crates-io.scm (rust-streaming-stats): New variable.
2019-08-28 16:53:07 +03:00
Efraim Flashner
588596247d
gnu: rust-num-traits: Change inputs.
...
* gnu/packages/crates-io.scm (rust-num-traits)[arguments]: Move
rust-autocfg from cargo-development-inputs to cargo-inputs.
2019-08-28 16:53:07 +03:00
Efraim Flashner
b601085d1c
gnu: Add rust-stdweb-internal-test-macro.
...
* gnu/packages/crates-io.scm (rust-stdweb-internal-test-macro): New
variable.
2019-08-28 16:53:07 +03:00
Efraim Flashner
9951b78e44
gnu: Add rust-stable-deref-trait.
...
* gnu/packages/crates-io.scm (rust-stable-deref-trait): New variable.
2019-08-28 16:53:07 +03:00
Efraim Flashner
d2a6bff06b
gnu: Add rust-security-framework-sys.
...
* gnu/packages/crates-io.scm (rust-security-framework-sys): New
variable.
2019-08-28 16:53:07 +03:00
Efraim Flashner
bb90286d1e
gnu: Add rust-scopeguard-0.3.
...
* gnu/packages/crates-io.scm (rust-scopeguard-0.3): New variable.
2019-08-28 16:53:07 +03:00
Efraim Flashner
997a0ab548
gnu: Add rust-scoped-tls-0.1.
...
* gnu/packages/crates-io.scm (rust-scoped-tls-0.1): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
663c69855a
gnu: Add rust-schannel.
...
* gnu/packages/crates-io.scm (rust-schannel): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
2484845019
gnu: Add rust-same-file.
...
* gnu/packages/crates-io.scm (rust-same-file): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
b3038b3826
gnu: Add rust-safemem.
...
* gnu/packages/crates-io.scm (rust-safemem): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
d791d309c6
gnu: Add rust-regex-syntax.
...
* gnu/packages/crates-io.scm (rust-regex-syntax): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
b9d061a925
gnu: Add rust-pkg-config.
...
* gnu/packages/crates-io.scm (rust-pkg-config): New variable.
2019-08-28 16:53:06 +03:00
Efraim Flashner
0e4448d138
gnu: Add rust-permutohedron.
...
* gnu/packages/crates-io.scm (rust-permutohedron): New variable.
2019-08-28 16:53:05 +03:00
Efraim Flashner
913096271f
gnu: Add rust-rawpointer.
...
* gnu/packages/crates-io.scm (rust-rawpointer): New variable.
2019-08-28 16:53:05 +03:00
Efraim Flashner
5d2ae881ce
gnu: Add rust-num-cpus.
...
* gnu/packages/crates-io.scm (rust-num-cpus): New variable.
2019-08-28 16:53:05 +03:00
Efraim Flashner
018c298948
gnu: Add rust-net2.
...
* gnu/packages/crates-io.scm (rust-net2): New variable.
2019-08-28 16:53:05 +03:00
Efraim Flashner
a567cde9b1
gnu: Add rust-modifier.
...
* gnu/packages/crates-io.scm (rust-modifier): New variable.
2019-08-28 16:53:05 +03:00
Efraim Flashner
33d93a0aec
gnu: Add rust-iovec.
...
* gnu/packages/crates-io.scm (rust-iovec): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
c4b7a9abb6
gnu: Add rust-futures-io-preview.
...
* gnu/packages/crates-io.scm (rust-futures-io-preview): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
36bd543afc
gnu: Add rust-foreign-types-shared.
...
* gnu/packages/crates-io.scm (rust-foreign-types-shared): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
f8f4025ae5
gnu: Add rust-fixedbitset.
...
* gnu/packages/crates-io.scm (rust-fixedbitset): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
9d7d8e8a39
gnu: Add rust-findshlibs.
...
* gnu/packages/crates-io.scm (rust-findshlibs): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
b59a64606f
gnu: Add rust-defmac-0.1.
...
* gnu/packages/crates-io.scm (rust-defmac-0.1): New variable.
2019-08-28 16:53:04 +03:00
Efraim Flashner
d68d00298d
gnu: Add rust-defmac.
...
* gnu/packages/crates-io.scm (rust-defmac): New variable.
2019-08-28 16:53:03 +03:00
Efraim Flashner
0c15f1432c
gnu: Add rust-data-encoding.
...
* gnu/packages/crates-io.scm (rust-data-encoding): New variable.
2019-08-28 16:53:03 +03:00
Efraim Flashner
73645bcb47
gnu: Add rust-core-foundation-sys.
...
* gnu/packages/crates-io.scm (rust-core-foundation-sys): New variable.
2019-08-28 16:53:03 +03:00
Efraim Flashner
e9e4980db9
gnu: Add rust-cloudabi.
...
* gnu/packages/crates-io.scm (rust-cloudabi): New variable.
2019-08-28 16:53:03 +03:00
Efraim Flashner
84a232bf71
gnu: Add rust-cblas-sys.
...
* gnu/packages/crates-io.scm (rust-cblas-sys): New variable.
2019-08-28 16:53:03 +03:00
Efraim Flashner
c4455f7d20
gnu: Add rust-blas-sys.
...
* gnu/packages/crates-io.scm (rust-blas-sys): New variable.
2019-08-28 16:53:02 +03:00
Efraim Flashner
0aa98c6984
gnu: Add rust-widestring.
...
* gnu/packages/crates-io.scm (rust-widestring): New variable.
2019-08-28 16:53:02 +03:00