diff options
| author | Alex Kost <alezost@gmail.com> | 2016-07-27 14:55:50 +0300 |
|---|---|---|
| committer | Alex Kost <alezost@gmail.com> | 2016-07-30 18:17:03 +0300 |
| commit | a82a201a8d8b324d3e4f85c0faab02cce04f7b28 (patch) | |
| tree | bf1b7b17c38aeba8b4c823a6f05f103d7ed79a00 /emacs/guix-main.scm | |
| parent | 6661db4e97d59bbf6c13981be774c28e2a0aaa7d (diff) | |
| download | patches-a82a201a8d8b324d3e4f85c0faab02cce04f7b28.tar patches-a82a201a8d8b324d3e4f85c0faab02cce04f7b28.tar.gz | |
emacs: Disable grafts when dry-run is enabled.
* emacs/guix-main.scm (process-package-actions): Set grafting according
to 'dry-run?'.
* guix/scripts.scm (build-package): Disable grafts when 'dry-run?' is #t.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'emacs/guix-main.scm')
| -rw-r--r-- | emacs/guix-main.scm | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/emacs/guix-main.scm b/emacs/guix-main.scm index cbf7cdc474..040932f307 100644 --- a/emacs/guix-main.scm +++ b/emacs/guix-main.scm @@ -46,6 +46,7 @@ (guix) (guix combinators) (guix git-download) + (guix grafts) (guix packages) (guix profiles) (guix licenses) @@ -930,15 +931,16 @@ OUTPUTS is a list of package outputs (may be an empty list)." (new-manifest (manifest-perform-transaction manifest transaction))) (unless (and (null? install) (null? remove)) - (with-store store - (set-build-options store - #:print-build-trace #f - #:use-substitutes? use-substitutes?) - (show-manifest-transaction store manifest transaction - #:dry-run? dry-run?) - (build-and-use-profile store profile new-manifest - #:use-substitutes? use-substitutes? - #:dry-run? dry-run?))))) + (parameterize ((%graft? (not dry-run?))) + (with-store store + (set-build-options store + #:print-build-trace #f + #:use-substitutes? use-substitutes?) + (show-manifest-transaction store manifest transaction + #:dry-run? dry-run?) + (build-and-use-profile store profile new-manifest + #:use-substitutes? use-substitutes? + #:dry-run? dry-run?)))))) (define (delete-generations* profile generations) "Delete GENERATIONS from PROFILE. |