Commit Graph

47130 Commits

Author SHA1 Message Date
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
Efraim Flashner 7b20853a1e
gnu: Add rust-wasm-bindgen-test-macro.
* gnu/packages/crates-io.scm (rust-wasm-bindgen-test-macro): New variable.
2019-08-28 16:53:02 +03:00
Efraim Flashner 0c944af883
gnu: rust-wincolor: New variable.
* gnu/packages/crates-io.scm (rust-wincolor): New variable.
2019-08-28 16:53:02 +03:00
Efraim Flashner 86cd265fb7
gnu: rust-winapi-util: New variable.
* gnu/packages/crates-io.scm (rust-winapi-util): New variable.
2019-08-28 16:53:02 +03:00