mirror of git://git.savannah.gnu.org/guix.git
614 lines
21 KiB
Scheme
614 lines
21 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
||
;;; Copyright © 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org>
|
||
;;; Copyright © 2019 Simon Tournier <zimon.toutoune@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 graph)
|
||
#:use-module (guix ui)
|
||
#:use-module (guix graph)
|
||
#:use-module (guix grafts)
|
||
#:use-module (guix scripts)
|
||
#:use-module (guix packages)
|
||
#:use-module (guix monads)
|
||
#:use-module (guix store)
|
||
#:use-module (guix gexp)
|
||
#:use-module (guix derivations)
|
||
#:use-module (guix memoization)
|
||
#:use-module (guix modules)
|
||
#:use-module ((guix build-system gnu) #:select (standard-packages))
|
||
#:use-module (gnu packages)
|
||
#:use-module (guix sets)
|
||
#:use-module ((guix diagnostics)
|
||
#:select (location-file formatted-message))
|
||
#:use-module ((guix scripts build)
|
||
#:select (show-transformation-options-help
|
||
options->transformation
|
||
%standard-build-options
|
||
%transformation-options))
|
||
#:use-module (srfi srfi-1)
|
||
#:use-module (srfi srfi-26)
|
||
#:use-module (srfi srfi-34)
|
||
#:use-module (srfi srfi-35)
|
||
#:use-module (srfi srfi-37)
|
||
#:use-module (ice-9 format)
|
||
#:use-module (ice-9 match)
|
||
#:export (%package-node-type
|
||
%reverse-package-node-type
|
||
%bag-node-type
|
||
%bag-with-origins-node-type
|
||
%bag-emerged-node-type
|
||
%reverse-bag-node-type
|
||
%derivation-node-type
|
||
%reference-node-type
|
||
%referrer-node-type
|
||
%module-node-type
|
||
%node-types
|
||
|
||
guix-graph))
|
||
|
||
|
||
;;;
|
||
;;; Package DAG.
|
||
;;;
|
||
|
||
(define (node-full-name thing)
|
||
"Return a human-readable name to denote THING, a package, origin, or file
|
||
name."
|
||
(cond ((package? thing)
|
||
(package-full-name thing))
|
||
((origin? thing)
|
||
(origin-actual-file-name thing))
|
||
((string? thing) ;file name
|
||
(or (basename thing)
|
||
(error "basename" thing)))
|
||
(else
|
||
(number->string (object-address thing) 16))))
|
||
|
||
(define (package-node-edges package)
|
||
"Return the list of dependencies of PACKAGE."
|
||
(match (package-direct-inputs package)
|
||
(((labels packages . outputs) ...)
|
||
;; Filter out origins and other non-package dependencies.
|
||
(filter package? packages))))
|
||
|
||
(define assert-package
|
||
(match-lambda
|
||
((? package? package)
|
||
package)
|
||
(x
|
||
(raise
|
||
(formatted-message (G_ "~a: invalid argument (package name expected)")
|
||
x)))))
|
||
|
||
(define nodes-from-package
|
||
;; The default conversion method.
|
||
(lift1 (compose list assert-package) %store-monad))
|
||
|
||
(define %package-node-type
|
||
;; Type for the traversal of package nodes.
|
||
(node-type
|
||
(name "package")
|
||
(description "the DAG of packages, excluding implicit inputs")
|
||
(convert nodes-from-package)
|
||
|
||
;; We use package addresses as unique identifiers. This generally works
|
||
;; well, but for generated package objects, we could end up with two
|
||
;; packages that are not 'eq?', yet map to the same derivation (XXX).
|
||
(identifier (lift1 object-address %store-monad))
|
||
(label node-full-name)
|
||
(edges (lift1 package-node-edges %store-monad))))
|
||
|
||
|
||
;;;
|
||
;;; Reverse package DAG.
|
||
;;;
|
||
|
||
(define (all-packages) ;XXX: duplicated from (guix scripts refresh)
|
||
"Return the list of all the distro's packages."
|
||
(fold-packages (lambda (package result)
|
||
;; Ignore deprecated packages.
|
||
(if (package-superseded package)
|
||
result
|
||
(cons package result)))
|
||
'()
|
||
#:select? (const #t))) ;include hidden packages
|
||
|
||
(define %reverse-package-node-type
|
||
;; For this node type we first need to compute the list of packages and the
|
||
;; list of back-edges. Since we want to do it only once, we use the
|
||
;; promises below.
|
||
(let* ((packages (delay (all-packages)))
|
||
(back-edges (delay (run-with-store #f ;store not actually needed
|
||
(node-back-edges %package-node-type
|
||
(force packages))))))
|
||
(node-type
|
||
(inherit %package-node-type)
|
||
(name "reverse-package")
|
||
(description "the reverse DAG of packages")
|
||
(edges (lift1 (force back-edges) %store-monad)))))
|
||
|
||
|
||
;;;
|
||
;;; Package DAG using bags.
|
||
;;;
|
||
|
||
(define (bag-node-identifier thing)
|
||
"Return a unique identifier for THING, which may be a package, origin, or a
|
||
file name."
|
||
;; If THING is a file name (a string), we just return it; if it's a package
|
||
;; or origin, we return its address. That gives us the object graph, but
|
||
;; that may differ from the derivation graph (for instance,
|
||
;; 'package-with-bootstrap-guile' generates fresh package objects, and
|
||
;; several packages that are not 'eq?' may actually map to the same
|
||
;; derivation.) Thus, we lower THING and use its derivation file name as a
|
||
;; unique identifier.
|
||
(with-monad %store-monad
|
||
(if (string? thing)
|
||
(return thing)
|
||
(mlet %store-monad ((low (lower-object thing)))
|
||
(return (if (derivation? low)
|
||
(derivation-file-name low)
|
||
low))))))
|
||
|
||
(define (bag-node-edges thing)
|
||
"Return the list of dependencies of THING, a package or origin.
|
||
Dependencies may include packages, origin, and file names."
|
||
(cond ((package? thing)
|
||
(match (bag-direct-inputs (package->bag thing))
|
||
(((labels things . outputs) ...)
|
||
things)))
|
||
((origin? thing)
|
||
(cons (or (origin-patch-guile thing) (default-guile))
|
||
(if (or (pair? (origin-patches thing))
|
||
(origin-snippet thing))
|
||
(match (origin-patch-inputs thing)
|
||
(#f '())
|
||
(((labels dependencies _ ...) ...)
|
||
(delete-duplicates dependencies eq?)))
|
||
'())))
|
||
(else
|
||
'())))
|
||
|
||
(define %bag-node-type
|
||
;; Type for the traversal of package nodes via the "bag" representation,
|
||
;; which includes implicit inputs.
|
||
(node-type
|
||
(name "bag")
|
||
(description "the DAG of packages, including implicit inputs")
|
||
(convert nodes-from-package)
|
||
(identifier bag-node-identifier)
|
||
(label node-full-name)
|
||
(edges (lift1 (compose (cut filter package? <>) bag-node-edges)
|
||
%store-monad))))
|
||
|
||
(define %bag-with-origins-node-type
|
||
(node-type
|
||
(name "bag-with-origins")
|
||
(description "the DAG of packages and origins, including implicit inputs")
|
||
(convert nodes-from-package)
|
||
(identifier bag-node-identifier)
|
||
(label node-full-name)
|
||
(edges (lift1 (lambda (thing)
|
||
(filter (match-lambda
|
||
((? package?) #t)
|
||
((? origin?) #t)
|
||
(_ #f))
|
||
(bag-node-edges thing)))
|
||
%store-monad))))
|
||
|
||
(define standard-package-set
|
||
(mlambda ()
|
||
"Return the set of standard packages provided by GNU-BUILD-SYSTEM."
|
||
(match (standard-packages)
|
||
(((labels packages . output) ...)
|
||
(list->setq packages)))))
|
||
|
||
(define (bag-node-edges-sans-bootstrap thing)
|
||
"Like 'bag-node-edges', but pretend that the standard packages of
|
||
GNU-BUILD-SYSTEM have zero dependencies."
|
||
(if (set-contains? (standard-package-set) thing)
|
||
'()
|
||
(bag-node-edges thing)))
|
||
|
||
(define %bag-emerged-node-type
|
||
;; Like %BAG-NODE-TYPE, but without the bootstrap subset of the DAG.
|
||
(node-type
|
||
(name "bag-emerged")
|
||
(description "same as 'bag', but without the bootstrap nodes")
|
||
(convert nodes-from-package)
|
||
(identifier bag-node-identifier)
|
||
(label node-full-name)
|
||
(edges (lift1 (compose (cut filter package? <>)
|
||
bag-node-edges-sans-bootstrap)
|
||
%store-monad))))
|
||
|
||
(define %reverse-bag-node-type
|
||
;; Type for the reverse traversal of package nodes via the "bag"
|
||
;; representation, which includes implicit inputs.
|
||
(let* ((packages (delay (package-closure (all-packages))))
|
||
(back-edges (delay (run-with-store #f ;store not actually needed
|
||
(node-back-edges %bag-node-type
|
||
(force packages))))))
|
||
(node-type
|
||
(name "reverse-bag")
|
||
(description "the reverse DAG of packages, including implicit inputs")
|
||
(convert nodes-from-package)
|
||
(identifier bag-node-identifier)
|
||
(label node-full-name)
|
||
(edges (lift1 (force back-edges) %store-monad)))))
|
||
|
||
|
||
;;;
|
||
;;; Derivation DAG.
|
||
;;;
|
||
|
||
(define (derivation-dependencies obj)
|
||
"Return the <derivation> objects and store items corresponding to the
|
||
dependencies of OBJ, a <derivation> or store item."
|
||
(if (derivation? obj)
|
||
(append (map derivation-input-derivation (derivation-inputs obj))
|
||
(derivation-sources obj))
|
||
'()))
|
||
|
||
(define (derivation-node-identifier node)
|
||
"Return a unique identifier for NODE, which may be either a <derivation> or
|
||
a plain store file."
|
||
(if (derivation? node)
|
||
(derivation-file-name node)
|
||
node))
|
||
|
||
(define (derivation-node-label node)
|
||
"Return a label for NODE, a <derivation> object or plain store item."
|
||
(store-path-package-name (match node
|
||
((? derivation? drv)
|
||
(derivation-file-name drv))
|
||
((? string? file)
|
||
file))))
|
||
|
||
(define %derivation-node-type
|
||
;; DAG of derivations. Very accurate, very detailed, but usually too much
|
||
;; detailed.
|
||
(node-type
|
||
(name "derivation")
|
||
(description "the DAG of derivations")
|
||
(convert (match-lambda
|
||
((? package? package)
|
||
(with-monad %store-monad
|
||
(>>= (package->derivation package)
|
||
(lift1 list %store-monad))))
|
||
((? derivation-path? item)
|
||
(mbegin %store-monad
|
||
((store-lift add-temp-root) item)
|
||
(return (list (read-derivation-from-file item)))))
|
||
(x
|
||
(raise
|
||
(condition (&message (message "unsupported argument for \
|
||
derivation graph")))))))
|
||
(identifier (lift1 derivation-node-identifier %store-monad))
|
||
(label derivation-node-label)
|
||
(edges (lift1 derivation-dependencies %store-monad))))
|
||
|
||
|
||
;;;
|
||
;;; DAG of residual references (aka. run-time dependencies).
|
||
;;;
|
||
|
||
(define intern
|
||
(mlambda (str)
|
||
"Intern STR, a string denoting a store item."
|
||
;; This is necessary for %REFERENCE-NODE-TYPE and %REFERRER-NODE-TYPE
|
||
;; because their nodes are strings but the (guix graph) traversal
|
||
;; procedures expect to be able to compare nodes with 'eq?'.
|
||
str))
|
||
|
||
(define ensure-store-items
|
||
;; Return a list of store items as a monadic value based on the given
|
||
;; argument, which may be a store item or a package.
|
||
(match-lambda
|
||
((? package? package)
|
||
;; Return the output file names of PACKAGE.
|
||
(mlet %store-monad ((drv (package->derivation package)))
|
||
(return (match (derivation->output-paths drv)
|
||
(((_ . file-names) ...)
|
||
(map intern file-names))))))
|
||
((? store-path? item)
|
||
(with-monad %store-monad
|
||
(return (list (intern item)))))
|
||
(x
|
||
(raise
|
||
(condition (&message (message "unsupported argument for \
|
||
this type of graph")))))))
|
||
|
||
(define (references* item)
|
||
"Return as a monadic value the references of ITEM, based either on the
|
||
information available in the local store or using information about
|
||
substitutes."
|
||
(lambda (store)
|
||
(guard (c ((store-protocol-error? c)
|
||
(match (substitutable-path-info store (list item))
|
||
((info)
|
||
(values (map intern (substitutable-references info))
|
||
store))
|
||
(()
|
||
(leave (G_ "references for '~a' are not known~%")
|
||
item)))))
|
||
(values (map intern (references store item)) store))))
|
||
|
||
(define %reference-node-type
|
||
(node-type
|
||
(name "references")
|
||
(description "the DAG of run-time dependencies (store references)")
|
||
(convert ensure-store-items)
|
||
(identifier (lift1 intern %store-monad))
|
||
(label store-path-package-name)
|
||
(edges references*)))
|
||
|
||
(define non-derivation-referrers
|
||
(let ((referrers (store-lift referrers)))
|
||
(lambda (item)
|
||
"Return the referrers of ITEM, except '.drv' files."
|
||
(mlet %store-monad ((items (referrers item)))
|
||
(return (map intern (remove derivation-path? items)))))))
|
||
|
||
(define %referrer-node-type
|
||
(node-type
|
||
(name "referrers")
|
||
(description "the DAG of referrers in the store")
|
||
(convert ensure-store-items)
|
||
(identifier (lift1 intern %store-monad))
|
||
(label store-path-package-name)
|
||
(edges non-derivation-referrers)))
|
||
|
||
|
||
;;;
|
||
;;; Scheme modules.
|
||
;;;
|
||
|
||
(define (module-from-package package)
|
||
(file-name->module-name (location-file (package-location package))))
|
||
|
||
(define (source-module-dependencies* module)
|
||
"Like 'source-module-dependencies' but filter out modules that are not
|
||
package modules, while attempting to retain user package modules."
|
||
(remove (match-lambda
|
||
(('guix _ ...) #t)
|
||
(('system _ ...) #t)
|
||
(('language _ ...) #t)
|
||
(('ice-9 _ ...) #t)
|
||
(('srfi _ ...) #t)
|
||
(_ #f))
|
||
(source-module-dependencies module)))
|
||
|
||
(define %module-node-type
|
||
;; Show the graph of package modules.
|
||
(node-type
|
||
(name "module")
|
||
(description "the graph of package modules")
|
||
(convert (lift1 (compose list module-from-package) %store-monad))
|
||
(identifier (lift1 identity %store-monad))
|
||
(label object->string)
|
||
(edges (lift1 source-module-dependencies* %store-monad))))
|
||
|
||
|
||
;;;
|
||
;;; List of node types.
|
||
;;;
|
||
|
||
(define %node-types
|
||
;; List of all the node types.
|
||
(list %package-node-type
|
||
%reverse-package-node-type
|
||
%bag-node-type
|
||
%bag-with-origins-node-type
|
||
%bag-emerged-node-type
|
||
%reverse-bag-node-type
|
||
%derivation-node-type
|
||
%reference-node-type
|
||
%referrer-node-type
|
||
%module-node-type))
|
||
|
||
(define (lookup-node-type name)
|
||
"Return the node type called NAME. Raise an error if it is not found."
|
||
(or (find (lambda (type)
|
||
(string=? (node-type-name type) name))
|
||
%node-types)
|
||
(leave (G_ "~a: unknown node type~%") name)))
|
||
|
||
(define (lookup-backend name)
|
||
"Return the graph backend called NAME. Raise an error if it is not found."
|
||
(or (find (lambda (backend)
|
||
(string=? (graph-backend-name backend) name))
|
||
%graph-backends)
|
||
(leave (G_ "~a: unknown backend~%") name)))
|
||
|
||
(define (list-node-types)
|
||
"Print the available node types along with their synopsis."
|
||
(display (G_ "The available node types are:\n"))
|
||
(newline)
|
||
(for-each (lambda (type)
|
||
(format #t " - ~a: ~a~%"
|
||
(node-type-name type)
|
||
(node-type-description type)))
|
||
%node-types))
|
||
|
||
(define (list-backends)
|
||
"Print the available backends along with their synopsis."
|
||
(display (G_ "The available backend types are:\n"))
|
||
(newline)
|
||
(for-each (lambda (backend)
|
||
(format #t " - ~a: ~a~%"
|
||
(graph-backend-name backend)
|
||
(graph-backend-description backend)))
|
||
%graph-backends))
|
||
|
||
|
||
;;;
|
||
;;; Displaying a path.
|
||
;;;
|
||
|
||
(define (display-path node1 node2 type)
|
||
"Display the shortest path from NODE1 to NODE2, of TYPE."
|
||
(mlet %store-monad ((path (shortest-path node1 node2 type)))
|
||
(define node-label
|
||
(let ((label (node-type-label type)))
|
||
;; Special-case derivations and store items to print them in full,
|
||
;; contrary to what their 'node-type-label' normally does.
|
||
(match-lambda
|
||
((? derivation? drv) (derivation-file-name drv))
|
||
((? string? str) str)
|
||
(node (label node)))))
|
||
|
||
(if path
|
||
(format #t "~{~a~%~}" (map node-label path))
|
||
(leave (G_ "no path from '~a' to '~a'~%")
|
||
(node-label node1) (node-label node2)))
|
||
(return #t)))
|
||
|
||
|
||
;;;
|
||
;;; Command-line options.
|
||
;;;
|
||
|
||
(define %options
|
||
(cons* (option '(#\t "type") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'node-type (lookup-node-type arg)
|
||
result)))
|
||
(option '("path") #f #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'path? #t result)))
|
||
(option '("list-types") #f #f
|
||
(lambda (opt name arg result)
|
||
(list-node-types)
|
||
(exit 0)))
|
||
(option '(#\b "backend") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'backend (lookup-backend arg)
|
||
result)))
|
||
(option '("list-backends") #f #f
|
||
(lambda (opt name arg result)
|
||
(list-backends)
|
||
(exit 0)))
|
||
(option '(#\e "expression") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'expression arg result)))
|
||
(option '(#\s "system") #t #f
|
||
(lambda (opt name arg result)
|
||
(alist-cons 'system arg
|
||
(alist-delete 'system result eq?))))
|
||
(find (lambda (option)
|
||
(member "load-path" (option-names option)))
|
||
%standard-build-options)
|
||
(option '(#\h "help") #f #f
|
||
(lambda args
|
||
(show-help)
|
||
(exit 0)))
|
||
(option '(#\V "version") #f #f
|
||
(lambda args
|
||
(show-version-and-exit "guix graph")))
|
||
|
||
%transformation-options))
|
||
|
||
(define (show-help)
|
||
;; TRANSLATORS: Here 'dot' is the name of a program; it must not be
|
||
;; translated.
|
||
(display (G_ "Usage: guix graph PACKAGE...
|
||
Emit a representation of the dependency graph of PACKAGE...\n"))
|
||
(display (G_ "
|
||
-b, --backend=TYPE produce a graph with the given backend TYPE"))
|
||
(display (G_ "
|
||
--list-backends list the available graph backends"))
|
||
(display (G_ "
|
||
-t, --type=TYPE represent nodes of the given TYPE"))
|
||
(display (G_ "
|
||
--list-types list the available graph types"))
|
||
(display (G_ "
|
||
--path display the shortest path between the given nodes"))
|
||
(display (G_ "
|
||
-e, --expression=EXPR consider the package EXPR evaluates to"))
|
||
(display (G_ "
|
||
-s, --system=SYSTEM consider the graph for SYSTEM--e.g., \"i686-linux\""))
|
||
(newline)
|
||
(display (G_ "
|
||
-L, --load-path=DIR prepend DIR to the package module search path"))
|
||
(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 %default-options
|
||
`((node-type . ,%package-node-type)
|
||
(backend . ,%graphviz-backend)
|
||
(system . ,(%current-system))))
|
||
|
||
|
||
;;;
|
||
;;; Entry point.
|
||
;;;
|
||
|
||
(define (guix-graph . args)
|
||
(with-error-handling
|
||
(define opts
|
||
(parse-command-line args %options
|
||
(list %default-options)
|
||
#:build-options? #f))
|
||
(define backend
|
||
(assoc-ref opts 'backend))
|
||
(define type
|
||
(assoc-ref opts 'node-type))
|
||
|
||
(with-store store
|
||
(let* ((transform (options->transformation opts))
|
||
(items (filter-map (match-lambda
|
||
(('argument . (? store-path? item))
|
||
item)
|
||
(('argument . spec)
|
||
(transform store
|
||
(specification->package spec)))
|
||
(('expression . exp)
|
||
(transform store
|
||
(read/eval-package-expression exp)))
|
||
(_ #f))
|
||
opts)))
|
||
(run-with-store store
|
||
;; XXX: Since grafting can trigger unsolicited builds, disable it.
|
||
(mlet %store-monad ((_ (set-grafting #f))
|
||
(nodes (mapm %store-monad
|
||
(node-type-convert type)
|
||
(reverse items))))
|
||
(if (assoc-ref opts 'path?)
|
||
(match nodes
|
||
(((node1 _ ...) (node2 _ ...))
|
||
(display-path node1 node2 type))
|
||
(_
|
||
(leave (G_ "'--path' option requires exactly two \
|
||
nodes (given ~a)~%")
|
||
(length nodes))))
|
||
(export-graph (concatenate nodes)
|
||
(current-output-port)
|
||
#:node-type type
|
||
#:backend backend)))
|
||
#:system (assq-ref opts 'system)))))
|
||
#t)
|
||
|
||
;;; graph.scm ends here
|