diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-03-26 12:25:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-26 13:07:19 +0100 |
| commit | e7570ec2da04af83eba695ded92eb824172b15c3 (patch) | |
| tree | b9a76177fe7f8aef3a7883c571083bff676231f9 /guix | |
| parent | c7af9d0b5ebaa1fdb08ff5d8a56004998bcd8103 (diff) | |
profiles: 'profile-derivation' sets a 'type' property.
* guix/profiles.scm (profile-derivation): Pass #:properties to
'gexp->derivation'.
Diffstat (limited to 'guix')
| -rw-r--r-- | guix/profiles.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/guix/profiles.scm b/guix/profiles.scm index 20a2973579..3a6498993c 100644 --- a/guix/profiles.scm +++ b/guix/profiles.scm @@ -1590,7 +1590,13 @@ are cross-built for TARGET." ;; Disable substitution because it would trigger a ;; connection to the substitute server, which is likely ;; to have no substitute to offer. - #:substitutable? #f))) + #:substitutable? #f + + #:properties `((type . profile) + (profile + (count + . ,(length + (manifest-entries manifest)))))))) (define* (profile-search-paths profile #:optional (manifest (profile-manifest profile)) |