summaryrefslogtreecommitdiff
path: root/guix
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-03-26 12:25:37 +0100
committerLudovic Courtès <ludo@gnu.org>2020-03-26 13:07:19 +0100
commite7570ec2da04af83eba695ded92eb824172b15c3 (patch)
treeb9a76177fe7f8aef3a7883c571083bff676231f9 /guix
parentc7af9d0b5ebaa1fdb08ff5d8a56004998bcd8103 (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.scm8
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))