ae587c2ef0
This was obtained by setting up this environment:
guix shell -D guix --with-input=guile@3.0.9=guile-next \
--with-commit=guile-next=e2ed33ef0445c867fe56c247054aa67e834861f2
-- make -j5
then adding 'unused-module' to (@@ (guix build compiler) %warnings),
building, and checking all the "unused module" warnings and removing
those that were definitely unused.
241 lines
10 KiB
Scheme
241 lines
10 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
|
;;; Copyright © 2017, 2020 Ricardo Wurmus <rekado@elephly.net>
|
|
;;; Copyright © 2021 Ludovic Courtès <ludo@gnu.org>
|
|
;;;
|
|
;;; 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 import print)
|
|
#:use-module (guix base32)
|
|
#:use-module (guix licenses)
|
|
#:use-module (guix packages)
|
|
#:use-module ((guix diagnostics) #:select (location-file))
|
|
#:use-module (guix search-paths)
|
|
#:use-module (guix build-system)
|
|
#:use-module (srfi srfi-1)
|
|
#:use-module (srfi srfi-26)
|
|
#:use-module (guix import utils)
|
|
#:use-module (ice-9 control)
|
|
#:use-module (ice-9 match)
|
|
#:export (package->code))
|
|
|
|
(define (redundant-input-labels? inputs)
|
|
"Return #t if input labels in the INPUTS list are redundant."
|
|
(every (match-lambda
|
|
((label (? package? package) . _)
|
|
(string=? label (package-name package)))
|
|
(_ #f))
|
|
inputs))
|
|
|
|
(define (package->code package)
|
|
"Return an S-expression representing the source code that produces PACKAGE
|
|
when evaluated."
|
|
;; The module in which the package PKG is defined
|
|
(define (package-module-name pkg)
|
|
(map string->symbol
|
|
(string-split (string-drop-right
|
|
(location-file (package-location pkg)) 4)
|
|
#\/)))
|
|
|
|
;; Return the first candidate variable name that is bound to VAL.
|
|
(define (variable-name val mod)
|
|
(match (let/ec return
|
|
(module-for-each (lambda (sym var)
|
|
(if (eq? val (variable-ref var))
|
|
(return sym)
|
|
#f))
|
|
(resolve-interface mod)))
|
|
((? symbol? sym) sym)
|
|
(_ #f)))
|
|
|
|
;; Print either license variable name or the code for a license object
|
|
(define (license->code lic)
|
|
(let ((var (variable-name lic '(guix licenses))))
|
|
(if var
|
|
(symbol-append 'license: var)
|
|
`(license
|
|
,(license-name lic)
|
|
,(license-uri lic)
|
|
,(license-comment lic)))))
|
|
|
|
(define (search-path-specification->code spec)
|
|
`(search-path-specification
|
|
(variable ,(search-path-specification-variable spec))
|
|
(files (list ,@(search-path-specification-files spec)))
|
|
(separator ,(search-path-specification-separator spec))
|
|
(file-type (quote ,(search-path-specification-file-type spec)))
|
|
(file-pattern ,(search-path-specification-file-pattern spec))))
|
|
|
|
(define (factorized-uri-code uri version)
|
|
(match (factorize-uri uri version)
|
|
((? string? uri) uri)
|
|
((factorized ...) `(string-append ,@factorized))))
|
|
|
|
(define (source->code source version)
|
|
(let ((uri (origin-uri source))
|
|
(method (origin-method source))
|
|
(hash (origin-hash source))
|
|
(file-name (origin-file-name source))
|
|
(patches (origin-patches source)))
|
|
`(origin
|
|
;; Since 'procedure-name' returns the procedure name within the
|
|
;; module where it's defined, not its public name. Thus, try hard to
|
|
;; find its public name and use 'procedure-name' as a last resort.
|
|
(method ,(or (any (lambda (module)
|
|
(variable-name method module))
|
|
'((guix download)
|
|
(guix git-download)
|
|
(guix hg-download)
|
|
(guix svn-download)))
|
|
(procedure-name method)))
|
|
(uri ,(if version
|
|
(match uri
|
|
((? string? uri)
|
|
(factorized-uri-code uri version))
|
|
((lst ...)
|
|
`(list
|
|
,@(map (cut factorized-uri-code <> version) uri))))
|
|
uri))
|
|
,(if (equal? (content-hash-algorithm hash) 'sha256)
|
|
`(sha256 (base32 ,(bytevector->nix-base32-string
|
|
(content-hash-value hash))))
|
|
`(hash (content-hash ,(bytevector->nix-base32-string
|
|
(content-hash-value hash))
|
|
,(content-hash-algorithm hash))))
|
|
;; FIXME: in order to be able to throw away the directory prefix,
|
|
;; we just assume that the patch files can be found with
|
|
;; "search-patches".
|
|
,@(cond ((null? patches)
|
|
'())
|
|
((every string? patches)
|
|
`((patches (search-patches ,@(map basename patches)))))
|
|
(else
|
|
`((patches (list ,@(map (match-lambda
|
|
((? string? file)
|
|
`(search-patch ,file))
|
|
((? origin? origin)
|
|
(source->code origin #f)))
|
|
patches)))))))))
|
|
|
|
(define (variable-reference module name)
|
|
;; FIXME: using '@ certainly isn't pretty, but it avoids having to import
|
|
;; the individual package modules.
|
|
(list '@ module name))
|
|
|
|
(define (object->code obj quoted?)
|
|
(match obj
|
|
((? package? package)
|
|
(let* ((module (package-module-name package))
|
|
(name (variable-name package module)))
|
|
(if quoted?
|
|
(list 'unquote (variable-reference module name))
|
|
(variable-reference module name))))
|
|
((? origin? origin)
|
|
(let ((code (source->code origin #f)))
|
|
(if quoted?
|
|
(list 'unquote code)
|
|
code)))
|
|
((lst ...)
|
|
(let ((lst (map (cut object->code <> #t) lst)))
|
|
(if quoted?
|
|
lst
|
|
(list 'quasiquote lst))))
|
|
(obj
|
|
obj)))
|
|
|
|
(define (inputs->code inputs)
|
|
(if (redundant-input-labels? inputs)
|
|
`(list ,@(map (match-lambda ;no need for input labels ("new style")
|
|
((_ package)
|
|
(let* ((module (package-module-name package))
|
|
(name (variable-name package module)))
|
|
(variable-reference module name)))
|
|
((_ package output)
|
|
(let* ((module (package-module-name package))
|
|
(name (variable-name package module)))
|
|
(list 'quasiquote
|
|
(list
|
|
(list 'unquote
|
|
(variable-reference module name))
|
|
output)))))
|
|
inputs))
|
|
(list 'quasiquote ;preserve input labels (deprecated)
|
|
(object->code inputs #t))))
|
|
|
|
(let ((name (package-name package))
|
|
(version (package-version package))
|
|
(source (package-source package))
|
|
(build-system (package-build-system package))
|
|
(arguments (package-arguments package))
|
|
(inputs (package-inputs package))
|
|
(propagated-inputs (package-propagated-inputs package))
|
|
(native-inputs (package-native-inputs package))
|
|
(outputs (package-outputs package))
|
|
(native-search-paths (package-native-search-paths package))
|
|
(search-paths (package-search-paths package))
|
|
(replacement (package-replacement package))
|
|
(synopsis (package-synopsis package))
|
|
(description (package-description package))
|
|
(license (package-license package))
|
|
(home-page (package-home-page package))
|
|
(supported-systems (package-supported-systems package))
|
|
(properties (package-properties package)))
|
|
`(define-public ,(string->symbol name)
|
|
(package
|
|
(name ,name)
|
|
(version ,version)
|
|
(source ,(source->code source version))
|
|
,@(match properties
|
|
(() '())
|
|
(_ `((properties
|
|
,(list 'quasiquote (object->code properties #t))))))
|
|
,@(if replacement
|
|
`((replacement ,replacement))
|
|
'())
|
|
(build-system (@ (guix build-system ,(build-system-name build-system))
|
|
,(symbol-append (build-system-name build-system)
|
|
'-build-system)))
|
|
,@(match arguments
|
|
(() '())
|
|
(_ `((arguments
|
|
,(list 'quasiquote (object->code arguments #t))))))
|
|
,@(match outputs
|
|
(("out") '())
|
|
(outs `((outputs (list ,@outs)))))
|
|
,@(match native-inputs
|
|
(() '())
|
|
(pkgs `((native-inputs ,(inputs->code pkgs)))))
|
|
,@(match inputs
|
|
(() '())
|
|
(pkgs `((inputs ,(inputs->code pkgs)))))
|
|
,@(match propagated-inputs
|
|
(() '())
|
|
(pkgs `((propagated-inputs ,(inputs->code pkgs)))))
|
|
,@(if (lset= string=? supported-systems %supported-systems)
|
|
'()
|
|
`((supported-systems (list ,@supported-systems))))
|
|
,@(match (map search-path-specification->code native-search-paths)
|
|
(() '())
|
|
(paths `((native-search-paths (list ,@paths)))))
|
|
,@(match (map search-path-specification->code search-paths)
|
|
(() '())
|
|
(paths `((search-paths (list ,@paths)))))
|
|
(home-page ,home-page)
|
|
(synopsis ,synopsis)
|
|
(description ,description)
|
|
(license ,(if (list? license)
|
|
`(list ,@(map license->code license))
|
|
(license->code license)))))))
|