diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-17 21:28:54 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-18 00:44:23 +0200 |
| commit | 9b9b753529db1c7a8c4628cc255e358703c15618 (patch) | |
| tree | be947b859894706a7b2272a6c460531f965ffa5a /guix/scripts/pull.scm | |
| parent | 67fb53c0d8fe6880c2ee3c8bc1c66e297ba00cf7 (diff) | |
pull: Pass #:use-substitutes? to 'show-what-to-build'.
Fixes <https://bugs.gnu.org/36509>.
Reported by Robert Vollmert <rob@vllmrt.net>.
* guix/scripts/pull.scm (build-and-install): Add #:use-substitutes?
parameter and pass it to UPDATE-PROFILE.
(guix-pull): Pass #:use-substitutes? to 'build-and-install'.
Diffstat (limited to 'guix/scripts/pull.scm')
| -rw-r--r-- | guix/scripts/pull.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/scripts/pull.scm b/guix/scripts/pull.scm index 98f00c55c3..54bbaddf30 100644 --- a/guix/scripts/pull.scm +++ b/guix/scripts/pull.scm @@ -193,7 +193,7 @@ newest generation of PROFILE." (_ #t))) (define* (build-and-install instances profile - #:key verbose? dry-run?) + #:key use-substitutes? verbose? dry-run?) "Build the tool from SOURCE, and install it in PROFILE. When DRY-RUN? is true, display what would be built without actually building it." (define update-profile @@ -206,6 +206,7 @@ true, display what would be built without actually building it." (mlet %store-monad ((manifest (channel-instances->manifest instances))) (mbegin %store-monad (update-profile profile manifest + #:use-substitutes? use-substitutes? #:hooks %channel-profile-hooks #:dry-run? dry-run?) (munless dry-run? @@ -600,6 +601,8 @@ Use '~/.config/guix/channels.scm' instead.")) (build-and-install instances profile #:dry-run? (assoc-ref opts 'dry-run?) + #:use-substitutes? + (assoc-ref opts 'substitutes?) #:verbose? (assoc-ref opts 'verbose?)))))))))))))) |