guix build: Add '--substitute-urls' client option.
authorLudovic Courtès <ludo@gnu.org>
Mon, 13 Jul 2015 14:07:59 +0000 (16:07 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 13 Jul 2015 16:29:01 +0000 (18:29 +0200)
commitf8a8e0fe1653d4bd998a33f013ea2583b4a32a00
treea6a322ce08ff58e185e6fe004927ee068b21fee7
parent24f5aaaf24e009de7f7402f2d311a26cafbf4f4a
guix build: Add '--substitute-urls' client option.

* guix/scripts/build.scm (%standard-build-options,
  show-build-options-help): Add --substitute-urls=URLS.
  (set-build-options-from-command-line): Honor it.
* guix/store.scm (%default-substitute-urls): Make public.
* doc/guix.texi (Substitutes): Add xref to the client --substitute-urls
  option.
  (Invoking guix build): Document it.
  (Invoking guix-daemon): Add 'daemon-substitute-urls' anchor.
doc/guix.texi
guix/scripts/build.scm
guix/store.scm