939 lines
39 KiB
Scheme
939 lines
39 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org>
|
||
;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org>
|
||
;;; Copyright © 2013, 2015 Mark H Weaver <mhw@netris.org>
|
||
;;; Copyright © 2014, 2016 Alex Kost <alezost@gmail.com>
|
||
;;; Copyright © 2016 Roel Janssen <roel@gnu.org>
|
||
;;; Copyright © 2016 Benz Schenk <benz.schenk@uzh.ch>
|
||
;;; Copyright © 2016 Chris Marusich <cmmarusich@gmail.com>
|
||
;;;
|
||
;;; This file is part of GNU Guix.
|
||
;;;
|
||
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
||
;;; under the terms of the GNU General Public License as published by
|
||
;;; the Free Software Foundation; either version 3 of the License, or (at
|
||
;;; your option) any later version.
|
||
;;;
|
||
;;; GNU Guix is distributed in the hope that it will be useful, but
|
||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
;;; GNU General Public License for more details.
|
||
;;;
|
||
;;; You should have received a copy of the GNU General Public License
|
||
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
(define-module (guix scripts package)
|
||
#:use-module (guix ui)
|
||
#:use-module ((guix status) #:select (with-status-verbosity))
|
||
#:use-module (guix store)
|
||
#:use-module (guix grafts)
|
||
#:use-module (guix derivations)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix profiles)
|
||
#:use-module (guix search-paths)
|
||
#:use-module (guix monads)
|
||
#:use-module (guix utils)
|
||
#:use-module (guix config)
|
||
#:use-module (guix scripts)
|
||
#:use-module (guix scripts build)
|
||
#:autoload (guix describe) (current-profile-entries)
|
||
#:use-module ((guix build utils)
|
||
#:select (directory-exists? mkdir-p))
|
||
#:use-module (ice-9 format)
|
||
#:use-module (ice-9 match)
|
||
#:use-module (ice-9 regex)
|
||
#:use-module (ice-9 vlist)
|
||
#:use-module (srfi srfi-1)
|
||
#:use-module (srfi srfi-11)
|
||
#:use-module (srfi srfi-26)
|
||
#:use-module (srfi srfi-34)
|
||
#:use-module (srfi srfi-35)
|
||
#:use-module (srfi srfi-37)
|
||
#:use-module (gnu packages)
|
||
#:autoload (gnu packages base) (canonical-package)
|
||
#:autoload (gnu packages guile) (guile-2.2)
|
||
#:autoload (gnu packages bootstrap) (%bootstrap-guile)
|
||
#:export (build-and-use-profile
|
||
delete-generations
|
||
display-search-paths
|
||
guix-package))
|
||
|
||
(define %store
|
||
(make-parameter #f))
|
||
|
||
|
||
;;;
|
||
;;; Profiles.
|
||
;;;
|
||
|
||
(define (ensure-default-profile)
|
||
"Ensure the default profile symlink and directory exist and are writable."
|
||
(ensure-profile-directory)
|
||
|
||
;; Create ~/.guix-profile if it doesn't exist yet.
|
||
(when (and %user-profile-directory
|
||
%current-profile
|
||
(not (false-if-exception
|
||
(lstat %user-profile-directory))))
|
||
(symlink %current-profile %user-profile-directory)))
|
||
|
||
(define (delete-generations store profile generations)
|
||
"Delete GENERATIONS from PROFILE.
|
||
GENERATIONS is a list of generation numbers."
|
||
(for-each (cut delete-generation* store profile <>)
|
||
generations))
|
||
|
||
(define (delete-matching-generations store profile pattern)
|
||
"Delete from PROFILE all the generations matching PATTERN. PATTERN must be
|
||
a string denoting a set of generations: the empty list means \"all generations
|
||
but the current one\", a number designates a generation, and other patterns
|
||
denote ranges as interpreted by 'matching-generations'."
|
||
(let ((current (generation-number profile)))
|
||
(cond ((not (file-exists? profile)) ; XXX: race condition
|
||
(raise (condition (&profile-not-found-error
|
||
(profile profile)))))
|
||
((string-null? pattern)
|
||
(delete-generations store profile
|
||
(delv current (profile-generations profile))))
|
||
;; Do not delete the zeroth generation.
|
||
((equal? 0 (string->number pattern))
|
||
#t)
|
||
|
||
;; If PATTERN is a duration, match generations that are
|
||
;; older than the specified duration.
|
||
((matching-generations pattern profile
|
||
#:duration-relation >)
|
||
=>
|
||
(lambda (numbers)
|
||
(when (memv current numbers)
|
||
(warning (G_ "not removing generation ~a, which is current~%")
|
||
current))
|
||
|
||
;; Make sure we don't inadvertently remove the current
|
||
;; generation.
|
||
(let ((numbers (delv current numbers)))
|
||
(when (null-list? numbers)
|
||
(leave (G_ "no matching generation~%")))
|
||
(delete-generations store profile numbers))))
|
||
(else
|
||
(leave (G_ "invalid syntax: ~a~%") pattern)))))
|
||
|
||
(define* (build-and-use-profile store profile manifest
|
||
#:key
|
||
(hooks %default-profile-hooks)
|
||
allow-collisions?
|
||
bootstrap? use-substitutes?
|
||
dry-run?)
|
||
"Build a new generation of PROFILE, a file name, using the packages
|
||
specified in MANIFEST, a manifest object. When ALLOW-COLLISIONS? is true,
|
||
do not treat collisions in MANIFEST as an error. HOOKS is a list of \"profile
|
||
hooks\" run when building the profile."
|
||
(when (equal? profile %current-profile)
|
||
(ensure-default-profile))
|
||
|
||
(let* ((prof-drv (run-with-store store
|
||
(profile-derivation manifest
|
||
#:allow-collisions? allow-collisions?
|
||
#:hooks (if bootstrap? '() hooks)
|
||
#:locales? (not bootstrap?))))
|
||
(prof (derivation->output-path prof-drv)))
|
||
(show-what-to-build store (list prof-drv)
|
||
#:use-substitutes? use-substitutes?
|
||
#:dry-run? dry-run?)
|
||
|
||
(cond
|
||
(dry-run? #t)
|
||
((and (file-exists? profile)
|
||
(and=> (readlink* profile) (cut string=? prof <>)))
|
||
(format (current-error-port) (G_ "nothing to be done~%")))
|
||
(else
|
||
(let* ((number (generation-number profile))
|
||
|
||
;; Always use NUMBER + 1 for the new profile, possibly
|
||
;; overwriting a "previous future generation".
|
||
(name (generation-file-name profile (+ 1 number))))
|
||
(and (build-derivations store (list prof-drv))
|
||
(let* ((entries (manifest-entries manifest))
|
||
(count (length entries)))
|
||
(switch-symlinks name prof)
|
||
(switch-symlinks profile (basename name))
|
||
(unless (string=? profile %current-profile)
|
||
(register-gc-root store name))
|
||
(format #t (N_ "~a package in profile~%"
|
||
"~a packages in profile~%"
|
||
count)
|
||
count)
|
||
(display-search-paths entries (list profile)
|
||
#:kind 'prefix)))
|
||
|
||
(warn-about-disk-space profile))))))
|
||
|
||
|
||
;;;
|
||
;;; Package specifications.
|
||
;;;
|
||
|
||
(define (find-packages-by-description regexps)
|
||
"Return two values: the list of packages whose name, synopsis, or
|
||
description matches at least one of REGEXPS sorted by relevance, and the list
|
||
of relevance scores."
|
||
(let ((matches (fold-packages (lambda (package result)
|
||
(if (package-superseded package)
|
||
result
|
||
(match (package-relevance package
|
||
regexps)
|
||
((? zero?)
|
||
result)
|
||
(score
|
||
(cons (list package score)
|
||
result)))))
|
||
'())))
|
||
(unzip2 (sort matches
|
||
(lambda (m1 m2)
|
||
(match m1
|
||
((package1 score1)
|
||
(match m2
|
||
((package2 score2)
|
||
(if (= score1 score2)
|
||
(string>? (package-full-name package1)
|
||
(package-full-name package2))
|
||
(> score1 score2)))))))))))
|
||
|
||
(define (transaction-upgrade-entry entry transaction)
|
||
"Return a variant of TRANSACTION that accounts for the upgrade of ENTRY, a
|
||
<manifest-entry>."
|
||
(define (supersede old new)
|
||
(info (G_ "package '~a' has been superseded by '~a'~%")
|
||
(manifest-entry-name old) (package-name new))
|
||
(manifest-transaction-install-entry
|
||
(package->manifest-entry* new (manifest-entry-output old))
|
||
(manifest-transaction-remove-pattern
|
||
(manifest-pattern
|
||
(name (manifest-entry-name old))
|
||
(version (manifest-entry-version old))
|
||
(output (manifest-entry-output old)))
|
||
transaction)))
|
||
|
||
(match (if (manifest-transaction-removal-candidate? entry transaction)
|
||
'dismiss
|
||
entry)
|
||
('dismiss
|
||
transaction)
|
||
(($ <manifest-entry> name version output (? string? path))
|
||
(match (find-best-packages-by-name name #f)
|
||
((pkg . rest)
|
||
(let ((candidate-version (package-version pkg)))
|
||
(match (package-superseded pkg)
|
||
((? package? new)
|
||
(supersede entry new))
|
||
(#f
|
||
(case (version-compare candidate-version version)
|
||
((>)
|
||
(manifest-transaction-install-entry
|
||
(package->manifest-entry* pkg output)
|
||
transaction))
|
||
((<)
|
||
transaction)
|
||
((=)
|
||
(let ((candidate-path (derivation->output-path
|
||
(package-derivation (%store) pkg))))
|
||
;; XXX: When there are propagated inputs, assume we need to
|
||
;; upgrade the whole entry.
|
||
(if (and (string=? path candidate-path)
|
||
(null? (package-propagated-inputs pkg)))
|
||
transaction
|
||
(manifest-transaction-install-entry
|
||
(package->manifest-entry* pkg output)
|
||
transaction)))))))))
|
||
(()
|
||
(warning (G_ "package '~a' no longer exists~%") name)
|
||
transaction)))))
|
||
|
||
|
||
;;;
|
||
;;; Search paths.
|
||
;;;
|
||
|
||
(define* (search-path-environment-variables entries profiles
|
||
#:optional (getenv getenv)
|
||
#:key (kind 'exact))
|
||
"Return environment variable definitions that may be needed for the use of
|
||
ENTRIES, a list of manifest entries, in PROFILES. Use GETENV to determine the
|
||
current settings and report only settings not already effective. KIND
|
||
must be one of 'exact, 'prefix, or 'suffix, depending on the kind of search
|
||
path definition to be returned."
|
||
(let ((search-paths (delete-duplicates
|
||
(cons $PATH
|
||
(append-map manifest-entry-search-paths
|
||
entries)))))
|
||
(filter-map (match-lambda
|
||
((spec . value)
|
||
(let ((variable (search-path-specification-variable spec))
|
||
(sep (search-path-specification-separator spec)))
|
||
(environment-variable-definition variable value
|
||
#:separator sep
|
||
#:kind kind))))
|
||
(evaluate-search-paths search-paths profiles
|
||
getenv))))
|
||
|
||
(define* (display-search-paths entries profiles
|
||
#:key (kind 'exact))
|
||
"Display the search path environment variables that may need to be set for
|
||
ENTRIES, a list of manifest entries, in the context of PROFILE."
|
||
(let* ((profiles (map user-friendly-profile profiles))
|
||
(settings (search-path-environment-variables entries profiles
|
||
#:kind kind)))
|
||
(unless (null? settings)
|
||
(format #t (G_ "The following environment variable definitions may be needed:~%"))
|
||
(format #t "~{ ~a~%~}" settings))))
|
||
|
||
|
||
;;;
|
||
;;; Command-line options.
|
||
;;;
|
||
|
||
(define %default-options
|
||
;; Alist of default option values.
|
||
`((verbosity . 1)
|
||
(debug . 0)
|
||
(graft? . #t)
|
||
(substitutes? . #t)
|
||
(build-hook? . #t)
|
||
(print-build-trace? . #t)
|
||
(print-extended-build-trace? . #t)
|
||
(multiplexed-build-output? . #t)))
|
||
|
||
(define (show-help)
|
||
(display (G_ "Usage: guix package [OPTION]...
|
||
Install, remove, or upgrade packages in a single transaction.\n"))
|
||
(display (G_ "
|
||
-i, --install PACKAGE ...
|
||
install PACKAGEs"))
|
||
(display (G_ "
|
||
-e, --install-from-expression=EXP
|
||
install the package EXP evaluates to"))
|
||
(display (G_ "
|
||
-f, --install-from-file=FILE
|
||
install the package that the code within FILE
|
||
evaluates to"))
|
||
(display (G_ "
|
||
-r, --remove PACKAGE ...
|
||
remove PACKAGEs"))
|
||
(display (G_ "
|
||
-u, --upgrade[=REGEXP] upgrade all the installed packages matching REGEXP"))
|
||
(display (G_ "
|
||
-m, --manifest=FILE create a new profile generation with the manifest
|
||
from FILE"))
|
||
(display (G_ "
|
||
--do-not-upgrade[=REGEXP] do not upgrade any packages matching REGEXP"))
|
||
(display (G_ "
|
||
--roll-back roll back to the previous generation"))
|
||
(display (G_ "
|
||
--search-paths[=KIND]
|
||
display needed environment variable definitions"))
|
||
(display (G_ "
|
||
-l, --list-generations[=PATTERN]
|
||
list generations matching PATTERN"))
|
||
(display (G_ "
|
||
-d, --delete-generations[=PATTERN]
|
||
delete generations matching PATTERN"))
|
||
(display (G_ "
|
||
-S, --switch-generation=PATTERN
|
||
switch to a generation matching PATTERN"))
|
||
(display (G_ "
|
||
-p, --profile=PROFILE use PROFILE instead of the user's default profile"))
|
||
(newline)
|
||
(display (G_ "
|
||
--allow-collisions do not treat collisions in the profile as an error"))
|
||
(display (G_ "
|
||
--bootstrap use the bootstrap Guile to build the profile"))
|
||
(display (G_ "
|
||
-v, --verbosity=LEVEL use the given verbosity LEVEL"))
|
||
(newline)
|
||
(display (G_ "
|
||
-s, --search=REGEXP search in synopsis and description using REGEXP"))
|
||
(display (G_ "
|
||
-I, --list-installed[=REGEXP]
|
||
list installed packages matching REGEXP"))
|
||
(display (G_ "
|
||
-A, --list-available[=REGEXP]
|
||
list available packages matching REGEXP"))
|
||
(display (G_ "
|
||
--show=PACKAGE show details about PACKAGE"))
|
||
(newline)
|
||
(show-build-options-help)
|
||
(newline)
|
||
(show-transformation-options-help)
|
||
(newline)
|
||
(display (G_ "
|
||
-h, --help display this help and exit"))
|
||
(display (G_ "
|
||
-V, --version display version information and exit"))
|
||
(newline)
|
||
(show-bug-report-information))
|
||
|
||
(define %options
|
||
;; Specification of the command-line options.
|
||
(cons* (option '(#\h "help") #f #f
|
||
(lambda args
|
||
(show-help)
|
||
(exit 0)))
|
||
(option '(#\V "version") #f #f
|
||
(lambda args
|
||
(show-version-and-exit "guix package")))
|
||
|
||
(option '(#\i "install") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(let arg-handler ((arg arg) (result result))
|
||
(values (if arg
|
||
(alist-cons 'install arg result)
|
||
result)
|
||
arg-handler))))
|
||
(option '(#\e "install-from-expression") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'install (read/eval-package-expression arg)
|
||
result)
|
||
#f)))
|
||
(option '(#\f "install-from-file") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'install
|
||
(load* arg (make-user-module '()))
|
||
result)
|
||
#f)))
|
||
(option '(#\r "remove") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(let arg-handler ((arg arg) (result result))
|
||
(values (if arg
|
||
(alist-cons 'remove arg result)
|
||
result)
|
||
arg-handler))))
|
||
(option '(#\u "upgrade") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(when (and arg (string-prefix? "-" arg))
|
||
(warning (G_ "upgrade regexp '~a' looks like a \
|
||
command-line option~%")
|
||
arg)
|
||
(warning (G_ "is this intended?~%")))
|
||
(let arg-handler ((arg arg) (result result))
|
||
(values (alist-cons 'upgrade arg
|
||
;; Delete any prior "upgrade all"
|
||
;; command, or else "--upgrade gcc"
|
||
;; would upgrade everything.
|
||
(delete '(upgrade . #f) result))
|
||
arg-handler))))
|
||
(option '("do-not-upgrade") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(let arg-handler ((arg arg) (result result))
|
||
(values (if arg
|
||
(alist-cons 'do-not-upgrade arg result)
|
||
result)
|
||
arg-handler))))
|
||
(option '("roll-back" "rollback") #f #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'roll-back? #t result)
|
||
#f)))
|
||
(option '(#\m "manifest") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'manifest arg result)
|
||
arg-handler)))
|
||
(option '(#\l "list-generations") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (cons `(query list-generations ,(or arg ""))
|
||
result)
|
||
#f)))
|
||
(option '(#\d "delete-generations") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'delete-generations (or arg "")
|
||
result)
|
||
#f)))
|
||
(option '(#\S "switch-generation") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'switch-generation arg result)
|
||
#f)))
|
||
(option '("search-paths") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(let ((kind (match arg
|
||
((or "exact" "prefix" "suffix")
|
||
(string->symbol arg))
|
||
(#f
|
||
'exact)
|
||
(x
|
||
(leave (G_ "~a: unsupported \
|
||
kind of search path~%")
|
||
x)))))
|
||
(values (cons `(query search-paths ,kind)
|
||
result)
|
||
#f))))
|
||
(option '(#\p "profile") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'profile (canonicalize-profile arg)
|
||
result)
|
||
#f)))
|
||
(option '(#\n "dry-run") #f #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'dry-run? #t
|
||
(alist-cons 'graft? #f result))
|
||
#f)))
|
||
(option '(#\v "verbosity") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(let ((level (string->number* arg)))
|
||
(values (alist-cons 'verbosity level
|
||
(alist-delete 'verbosity result))
|
||
#f))))
|
||
(option '("bootstrap") #f #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'bootstrap? #t result)
|
||
#f)))
|
||
(option '("verbose") #f #f ;deprecated
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'verbosity 2
|
||
(alist-delete 'verbosity
|
||
result))
|
||
#f)))
|
||
(option '("allow-collisions") #f #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (alist-cons 'allow-collisions? #t result)
|
||
#f)))
|
||
(option '(#\s "search") #t #f
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (cons `(query search ,(or arg ""))
|
||
result)
|
||
#f)))
|
||
(option '(#\I "list-installed") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (cons `(query list-installed ,(or arg ""))
|
||
result)
|
||
#f)))
|
||
(option '(#\A "list-available") #f #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (cons `(query list-available ,(or arg ""))
|
||
result)
|
||
#f)))
|
||
(option '("show") #t #t
|
||
(lambda (opt name arg result arg-handler)
|
||
(values (cons `(query show ,arg)
|
||
result)
|
||
#f)))
|
||
|
||
(append %transformation-options
|
||
%standard-build-options)))
|
||
|
||
(define (options->upgrade-predicate opts)
|
||
"Return a predicate based on the upgrade/do-not-upgrade regexps in OPTS
|
||
that, given a package name, returns true if the package is a candidate for
|
||
upgrading, #f otherwise."
|
||
(define upgrade-regexps
|
||
(filter-map (match-lambda
|
||
(('upgrade . regexp)
|
||
(make-regexp* (or regexp "")))
|
||
(_ #f))
|
||
opts))
|
||
|
||
(define do-not-upgrade-regexps
|
||
(filter-map (match-lambda
|
||
(('do-not-upgrade . regexp)
|
||
(make-regexp* regexp))
|
||
(_ #f))
|
||
opts))
|
||
|
||
(lambda (name)
|
||
(and (any (cut regexp-exec <> name) upgrade-regexps)
|
||
(not (any (cut regexp-exec <> name) do-not-upgrade-regexps)))))
|
||
|
||
(define (store-item->manifest-entry item)
|
||
"Return a manifest entry for ITEM, a \"/gnu/store/...\" file name."
|
||
(let-values (((name version)
|
||
(package-name->name+version (store-path-package-name item)
|
||
#\-)))
|
||
(manifest-entry
|
||
(name name)
|
||
(version version)
|
||
(output "out") ;XXX: wild guess
|
||
(item item))))
|
||
|
||
(define (package-provenance package)
|
||
"Return the provenance of PACKAGE as an sexp for use as the 'provenance'
|
||
property of manifest entries, or #f if it could not be determined."
|
||
(define (entry-source entry)
|
||
(match (assq 'source
|
||
(manifest-entry-properties entry))
|
||
(('source value) value)
|
||
(_ #f)))
|
||
|
||
(match (and=> (package-location package) location-file)
|
||
(#f #f)
|
||
(file
|
||
(let ((file (if (string-prefix? "/" file)
|
||
file
|
||
(search-path %load-path file))))
|
||
(and file
|
||
(string-prefix? (%store-prefix) file)
|
||
|
||
;; Always store information about the 'guix' channel and
|
||
;; optionally about the specific channel FILE comes from.
|
||
(or (let ((main (and=> (find (lambda (entry)
|
||
(string=? "guix"
|
||
(manifest-entry-name entry)))
|
||
(current-profile-entries))
|
||
entry-source))
|
||
(extra (any (lambda (entry)
|
||
(let ((item (manifest-entry-item entry)))
|
||
(and (string-prefix? item file)
|
||
(entry-source entry))))
|
||
(current-profile-entries))))
|
||
(and main
|
||
`(,main
|
||
,@(if extra (list extra) '()))))))))))
|
||
|
||
(define (package->manifest-entry* package output)
|
||
"Like 'package->manifest-entry', but attach PACKAGE provenance meta-data to
|
||
the resulting manifest entry."
|
||
(define (provenance-properties package)
|
||
(match (package-provenance package)
|
||
(#f '())
|
||
(sexp `((provenance ,@sexp)))))
|
||
|
||
(package->manifest-entry package output
|
||
#:properties (provenance-properties package)))
|
||
|
||
|
||
(define (options->installable opts manifest transaction)
|
||
"Given MANIFEST, the current manifest, and OPTS, the result of 'args-fold',
|
||
return an variant of TRANSACTION that accounts for the specified installations
|
||
and upgrades."
|
||
(define upgrade?
|
||
(options->upgrade-predicate opts))
|
||
|
||
(define upgraded
|
||
(fold (lambda (entry transaction)
|
||
(if (upgrade? (manifest-entry-name entry))
|
||
(transaction-upgrade-entry entry transaction)
|
||
transaction))
|
||
transaction
|
||
(manifest-entries manifest)))
|
||
|
||
(define to-install
|
||
(filter-map (match-lambda
|
||
(('install . (? package? p))
|
||
;; When given a package via `-e', install the first of its
|
||
;; outputs (XXX).
|
||
(package->manifest-entry* p "out"))
|
||
(('install . (? string? spec))
|
||
(if (store-path? spec)
|
||
(store-item->manifest-entry spec)
|
||
(let-values (((package output)
|
||
(specification->package+output spec)))
|
||
(package->manifest-entry* package output))))
|
||
(_ #f))
|
||
opts))
|
||
|
||
(fold manifest-transaction-install-entry
|
||
upgraded
|
||
to-install))
|
||
|
||
(define (options->removable options manifest transaction)
|
||
"Given options, return a variant of TRANSACTION augmented with the list of
|
||
patterns of packages to remove."
|
||
(fold (lambda (opt transaction)
|
||
(match opt
|
||
(('remove . spec)
|
||
(call-with-values
|
||
(lambda ()
|
||
(package-specification->name+version+output spec))
|
||
(lambda (name version output)
|
||
(manifest-transaction-remove-pattern
|
||
(manifest-pattern
|
||
(name name)
|
||
(version version)
|
||
(output output))
|
||
transaction))))
|
||
(_ transaction)))
|
||
transaction
|
||
options))
|
||
|
||
(define (register-gc-root store profile)
|
||
"Register PROFILE, a profile generation symlink, as a GC root, unless it
|
||
doesn't need it."
|
||
(define absolute
|
||
;; We must pass the daemon an absolute file name for PROFILE. However, we
|
||
;; cannot use (canonicalize-path profile) because that would return us the
|
||
;; target of PROFILE in the store; using a store item as an indirect root
|
||
;; would mean that said store item will always remain live, which is not
|
||
;; what we want here.
|
||
(if (string-prefix? "/" profile)
|
||
profile
|
||
(string-append (getcwd) "/" profile)))
|
||
|
||
(add-indirect-root store absolute))
|
||
|
||
|
||
;;;
|
||
;;; Queries and actions.
|
||
;;;
|
||
|
||
(define (process-query opts)
|
||
"Process any query specified by OPTS. Return #t when a query was actually
|
||
processed, #f otherwise."
|
||
(let* ((profiles (match (filter-map (match-lambda
|
||
(('profile . p) p)
|
||
(_ #f))
|
||
opts)
|
||
(() (list %current-profile))
|
||
(lst (reverse lst))))
|
||
(profile (match profiles
|
||
((head tail ...) head))))
|
||
(match (assoc-ref opts 'query)
|
||
(('list-generations pattern)
|
||
(define (list-generation display-function number)
|
||
(unless (zero? number)
|
||
(display-generation profile number)
|
||
(display-function profile number)
|
||
(newline)))
|
||
(define (diff-profiles profile numbers)
|
||
(unless (null-list? (cdr numbers))
|
||
(display-profile-content-diff profile (car numbers) (cadr numbers))
|
||
(diff-profiles profile (cdr numbers))))
|
||
|
||
(leave-on-EPIPE
|
||
(cond ((not (file-exists? profile)) ; XXX: race condition
|
||
(raise (condition (&profile-not-found-error
|
||
(profile profile)))))
|
||
((string-null? pattern)
|
||
(match (profile-generations profile)
|
||
(()
|
||
#t)
|
||
((first rest ...)
|
||
(list-generation display-profile-content first)
|
||
(diff-profiles profile (cons first rest)))))
|
||
((matching-generations pattern profile)
|
||
=>
|
||
(lambda (numbers)
|
||
(if (null-list? numbers)
|
||
(exit 1)
|
||
(begin
|
||
(list-generation display-profile-content (car numbers))
|
||
(diff-profiles profile numbers)))))
|
||
(else
|
||
(leave (G_ "invalid syntax: ~a~%")
|
||
pattern))))
|
||
#t)
|
||
|
||
(('list-installed regexp)
|
||
(let* ((regexp (and regexp (make-regexp* regexp)))
|
||
(manifest (profile-manifest profile))
|
||
(installed (manifest-entries manifest)))
|
||
(leave-on-EPIPE
|
||
(for-each (match-lambda
|
||
(($ <manifest-entry> name version output path _)
|
||
(when (or (not regexp)
|
||
(regexp-exec regexp name))
|
||
(format #t "~a\t~a\t~a\t~a~%"
|
||
name (or version "?") output path))))
|
||
|
||
;; Show most recently installed packages last.
|
||
(reverse installed)))
|
||
#t))
|
||
|
||
(('list-available regexp)
|
||
(let* ((regexp (and regexp (make-regexp* regexp)))
|
||
(available (fold-available-packages
|
||
(lambda* (name version result
|
||
#:key outputs location
|
||
supported? deprecated?
|
||
#:allow-other-keys)
|
||
(if (and supported? (not deprecated?))
|
||
(if regexp
|
||
(if (regexp-exec regexp name)
|
||
(cons `(,name ,version
|
||
,outputs ,location)
|
||
result)
|
||
result)
|
||
(cons `(,name ,version
|
||
,outputs ,location)
|
||
result))
|
||
result))
|
||
'())))
|
||
(leave-on-EPIPE
|
||
(for-each (match-lambda
|
||
((name version outputs location)
|
||
(format #t "~a\t~a\t~a\t~a~%"
|
||
name version
|
||
(string-join outputs ",")
|
||
(location->string location))))
|
||
(sort available
|
||
(match-lambda*
|
||
(((name1 . _) (name2 . _))
|
||
(string<? name1 name2))))))
|
||
#t))
|
||
|
||
(('search _)
|
||
(let* ((patterns (filter-map (match-lambda
|
||
(('query 'search rx) rx)
|
||
(_ #f))
|
||
opts))
|
||
(regexps (map (cut make-regexp* <> regexp/icase) patterns)))
|
||
(leave-on-EPIPE
|
||
(let-values (((packages scores)
|
||
(find-packages-by-description regexps)))
|
||
(for-each (lambda (package score)
|
||
(package->recutils package (current-output-port)
|
||
#:extra-fields
|
||
`((relevance . ,score))))
|
||
packages
|
||
scores)))
|
||
#t))
|
||
|
||
(('show requested-name)
|
||
(let-values (((name version)
|
||
(package-name->name+version requested-name)))
|
||
(match (find-packages-by-name name version)
|
||
(()
|
||
(leave (G_ "~a~@[@~a~]: package not found~%") name version))
|
||
(packages
|
||
(leave-on-EPIPE
|
||
(for-each (cute package->recutils <> (current-output-port))
|
||
packages))))
|
||
#t))
|
||
|
||
(('search-paths kind)
|
||
(let* ((manifests (map profile-manifest profiles))
|
||
(entries (append-map manifest-transitive-entries
|
||
manifests))
|
||
(profiles (map user-friendly-profile profiles))
|
||
(settings (search-path-environment-variables entries profiles
|
||
(const #f)
|
||
#:kind kind)))
|
||
(format #t "~{~a~%~}" settings)
|
||
#t))
|
||
|
||
(_ #f))))
|
||
|
||
|
||
(define* (roll-back-action store profile arg opts
|
||
#:key dry-run?)
|
||
"Roll back PROFILE to its previous generation."
|
||
(unless dry-run?
|
||
(roll-back* store profile)))
|
||
|
||
(define* (switch-generation-action store profile spec opts
|
||
#:key dry-run?)
|
||
"Switch PROFILE to the generation specified by SPEC."
|
||
(unless dry-run?
|
||
(let ((number (relative-generation-spec->number profile spec)))
|
||
(if number
|
||
(switch-to-generation* profile number)
|
||
(leave (G_ "cannot switch to generation '~a'~%") spec)))))
|
||
|
||
(define* (delete-generations-action store profile pattern opts
|
||
#:key dry-run?)
|
||
"Delete PROFILE's generations that match PATTERN."
|
||
(unless dry-run?
|
||
(delete-matching-generations store profile pattern)))
|
||
|
||
(define* (manifest-action store profile file opts
|
||
#:key dry-run?)
|
||
"Change PROFILE to contain the packages specified in FILE."
|
||
(let* ((user-module (make-user-module '((guix profiles) (gnu))))
|
||
(manifest (load* file user-module))
|
||
(bootstrap? (assoc-ref opts 'bootstrap?))
|
||
(substitutes? (assoc-ref opts 'substitutes?))
|
||
(allow-collisions? (assoc-ref opts 'allow-collisions?)))
|
||
(if dry-run?
|
||
(format #t (G_ "would install new manifest from '~a' with ~d entries~%")
|
||
file (length (manifest-entries manifest)))
|
||
(format #t (G_ "installing new manifest from '~a' with ~d entries~%")
|
||
file (length (manifest-entries manifest))))
|
||
(build-and-use-profile store profile manifest
|
||
#:allow-collisions? allow-collisions?
|
||
#:bootstrap? bootstrap?
|
||
#:use-substitutes? substitutes?
|
||
#:dry-run? dry-run?)))
|
||
|
||
(define %actions
|
||
;; List of actions that may be processed. The car of each pair is the
|
||
;; action's symbol in the option list; the cdr is the action's procedure.
|
||
`((roll-back? . ,roll-back-action)
|
||
(switch-generation . ,switch-generation-action)
|
||
(delete-generations . ,delete-generations-action)
|
||
(manifest . ,manifest-action)))
|
||
|
||
(define (process-actions store opts)
|
||
"Process any install/remove/upgrade action from OPTS."
|
||
|
||
(define dry-run? (assoc-ref opts 'dry-run?))
|
||
(define bootstrap? (assoc-ref opts 'bootstrap?))
|
||
(define substitutes? (assoc-ref opts 'substitutes?))
|
||
(define allow-collisions? (assoc-ref opts 'allow-collisions?))
|
||
(define profile (or (assoc-ref opts 'profile) %current-profile))
|
||
(define transform (options->transformation opts))
|
||
|
||
(define (transform-entry entry)
|
||
(let ((item (transform store (manifest-entry-item entry))))
|
||
(manifest-entry
|
||
(inherit entry)
|
||
(item item)
|
||
(version (if (package? item)
|
||
(package-version item)
|
||
(manifest-entry-version entry))))))
|
||
|
||
;; First, process roll-backs, generation removals, etc.
|
||
(for-each (match-lambda
|
||
((key . arg)
|
||
(and=> (assoc-ref %actions key)
|
||
(lambda (proc)
|
||
(proc store profile arg opts
|
||
#:dry-run? dry-run?)))))
|
||
opts)
|
||
|
||
;; Then, process normal package removal/installation/upgrade.
|
||
(let* ((manifest (profile-manifest profile))
|
||
(step1 (options->removable opts manifest
|
||
(manifest-transaction)))
|
||
(step2 (options->installable opts manifest step1))
|
||
(step3 (manifest-transaction
|
||
(inherit step2)
|
||
(install (map transform-entry
|
||
(manifest-transaction-install step2)))))
|
||
(new (manifest-perform-transaction manifest step3)))
|
||
|
||
(warn-about-old-distro)
|
||
|
||
(unless (manifest-transaction-null? step3)
|
||
(show-manifest-transaction store manifest step3
|
||
#:dry-run? dry-run?)
|
||
(build-and-use-profile store profile new
|
||
#:allow-collisions? allow-collisions?
|
||
#:bootstrap? bootstrap?
|
||
#:use-substitutes? substitutes?
|
||
#:dry-run? dry-run?))))
|
||
|
||
|
||
;;;
|
||
;;; Entry point.
|
||
;;;
|
||
|
||
(define (guix-package . args)
|
||
(define (handle-argument arg result arg-handler)
|
||
;; Process non-option argument ARG by calling back ARG-HANDLER.
|
||
(if arg-handler
|
||
(arg-handler arg result)
|
||
(leave (G_ "~A: extraneous argument~%") arg)))
|
||
|
||
(define opts
|
||
(parse-command-line args %options (list %default-options #f)
|
||
#:argument-handler handle-argument))
|
||
|
||
(with-error-handling
|
||
(or (process-query opts)
|
||
(parameterize ((%store (open-connection))
|
||
(%graft? (assoc-ref opts 'graft?)))
|
||
(with-status-verbosity (assoc-ref opts 'verbosity)
|
||
(set-build-options-from-command-line (%store) opts)
|
||
(parameterize ((%guile-for-build
|
||
(package-derivation
|
||
(%store)
|
||
(if (assoc-ref opts 'bootstrap?)
|
||
%bootstrap-guile
|
||
(canonical-package guile-2.2)))))
|
||
(process-actions (%store) opts)))))))
|