summaryrefslogtreecommitdiff
path: root/guix/scripts/pull.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-07-17 21:28:54 +0200
committerLudovic Courtès <ludo@gnu.org>2019-07-18 00:44:23 +0200
commit9b9b753529db1c7a8c4628cc255e358703c15618 (patch)
treebe947b859894706a7b2272a6c460531f965ffa5a /guix/scripts/pull.scm
parent67fb53c0d8fe6880c2ee3c8bc1c66e297ba00cf7 (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.scm5
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?))))))))))))))