pack: Add '--target'.

* guix/scripts/pack.scm (self-contained-tarball): Add #:target.
(docker-image): Add #:target.
[build]: Pass it to 'build-docker-image'.
(%options, show-help): Add '--target'.
(guix-pack): Pass TARGET to 'profile-derivation' and to 'build-image'.
* guix/docker.scm (build-docker-image): Add #:system parameter and honor it.
* doc/guix.texi (Invoking guix pack): Document '--target'.
(Additional Build Options): Refer to the Autoconf manual instead of the
obsolete 'configure.info' for cross-compilation.

doc/guix.texi

@@ -2476,6 +2476,12 @@ Docker Image Specification}.
 Attempt to build for @var{system}---e.g., @code{i686-linux}---instead of
 the system type of the build host.
 
+@item --target=@var{triplet}
+@cindex cross-compilation
+Cross-build for @var{triplet}, which must be a valid GNU triplet, such
+as @code{"mips64el-linux-gnu"} (@pxref{Specifying target triplets, GNU
+configuration triplets,, autoconf, Autoconf}).
+
 @item --compression=@var{tool}
 @itemx -C @var{tool}
 Compress the resulting tarball using @var{tool}---one of @code{gzip},
@@ -5063,8 +5069,8 @@ to build packages in a complete 32-bit environment.
 @item --target=@var{triplet}
 @cindex cross-compilation
 Cross-build for @var{triplet}, which must be a valid GNU triplet, such
-as @code{"mips64el-linux-gnu"} (@pxref{Configuration Names, GNU
+as @code{"mips64el-linux-gnu"} (@pxref{Specifying target triplets, GNU
-configuration triplets,, configure, GNU Configure and Build System}).
+configuration triplets,, autoconf, Autoconf}).
 
 @anchor{build-check}
 @item --check

guix/docker.scm

@@ -105,12 +105,14 @@ (define (topmost-component file)
 (define* (build-docker-image image path
                              #:key closure compressor
                              (symlinks '())
+                             (system (utsname:machine (uname)))
                              (creation-time (current-time time-utc)))
   "Write to IMAGE a Docker image archive from the given store PATH.  The image
 contains the closure of PATH, as specified in CLOSURE (a file produced by
 #:references-graphs).  SYMLINKS must be a list of (SOURCE -> TARGET) tuples
 describing symlinks to be created in the image, where each TARGET is relative
-to PATH.
+to PATH.  SYSTEM is a GNU triplet (or prefix thereof) of the system the
+binaries at PATH are for; it is used to produce metadata in the image.
 
 Use COMPRESSOR, a command such as '(\"gzip\" \"-9n\"), to compress IMAGE.  Use
 CREATION-TIME, a SRFI-19 time-utc object, as the creation time in metadata."
@@ -118,11 +120,18 @@ (define* (build-docker-image image path
         (closure (canonicalize-path closure))
         (id (docker-id path))
         (time (date->string (time-utc->date creation-time) "~4"))
-        (arch (match (utsname:machine (uname))
+        (arch (let-syntax ((cond* (syntax-rules ()
-                ("x86_64" "amd64")
+                                    ((_ (pattern clause) ...)
-                ("i686"   "386")
+                                     (cond ((string-prefix? pattern system)
-                ("armv7l" "arm")
+                                            clause)
-                ("mips64" "mips64le"))))
+                                           ...
+                                           (else
+                                            (error "unsupported system"
+                                                   system)))))))
+                (cond* ("x86_64" "amd64")
+                       ("i686"   "386")
+                       ("arm"    "arm")
+                       ("mips64" "mips64le")))))
     ;; Make sure we start with a fresh, empty working directory.
     (mkdir directory)
 

guix/scripts/pack.scm

@@ -73,7 +73,8 @@ (define (lookup-compressor name)
       (leave (_ "~a: compressor not found~%") name)))
 
 (define* (self-contained-tarball name profile
-                                 #:key deduplicate?
+                                 #:key target
+                                 deduplicate?
                                  (compressor (first %compressors))
                                  localstatedir?
                                  (symlinks '())
@@ -184,14 +185,17 @@ (define tar-supports-sort?
                     #:references-graphs `(("profile" ,profile))))
 
 (define* (docker-image name profile
-                       #:key deduplicate?
+                       #:key target
+                       deduplicate?
                        (compressor (first %compressors))
                        localstatedir?
                        (symlinks '())
                        (tar tar))
   "Return a derivation to construct a Docker image of PROFILE.  The
 image is a tarball conforming to the Docker Image Specification, compressed
-with COMPRESSOR.  It can be passed to 'docker load'."
+with COMPRESSOR.  It can be passed to 'docker load'.  If TARGET is true, it
+must a be a GNU triplet and it is used to derive the architecture metadata in
+the image."
   ;; FIXME: Honor LOCALSTATEDIR?.
   (define not-config?
     (match-lambda
@@ -227,6 +231,7 @@ (define build
           (setenv "PATH" (string-append #$tar "/bin"))
 
           (build-docker-image #$output #$profile
+                              #:system (or #$target (utsname:machine (uname)))
                               #:closure "profile"
                               #:symlinks '#$symlinks
                               #:compressor '#$(compressor-command compressor)
@@ -278,6 +283,10 @@ (define %options
                  (lambda (opt name arg result)
                    (alist-cons 'system arg
                                (alist-delete 'system result eq?))))
+         (option '("target") #t #f
+                 (lambda (opt name arg result)
+                   (alist-cons 'target arg
+                               (alist-delete 'target result eq?))))
          (option '(#\C "compression") #t #f
                  (lambda (opt name arg result)
                    (alist-cons 'compressor (lookup-compressor arg)
@@ -314,6 +323,8 @@ (define (show-help)
   -f, --format=FORMAT    build a pack in the given FORMAT"))
   (display (_ "
   -s, --system=SYSTEM    attempt to build for SYSTEM--e.g., \"i686-linux\""))
+  (display (_ "
+      --target=TRIPLET   cross-build for TRIPLET--e.g., \"armel-linux-gnu\""))
   (display (_ "
   -C, --compression=TOOL compress using TOOL--e.g., \"lzip\""))
   (display (_ "
@@ -354,6 +365,7 @@ (define opts
              (pack-format (assoc-ref opts 'format))
              (name        (string-append (symbol->string pack-format)
                                          "-pack"))
+             (target      (assoc-ref opts 'target))
              (compressor  (assoc-ref opts 'compressor))
              (symlinks    (assoc-ref opts 'symlinks))
              (build-image (match (assq-ref %formats pack-format)
@@ -368,8 +380,11 @@ (define opts
 
           (run-with-store store
             (mlet* %store-monad ((profile (profile-derivation
-                                           (packages->manifest packages)))
+                                           (packages->manifest packages)
+                                           #:target target))
                                  (drv (build-image name profile
+                                                   #:target
+                                                   target
                                                    #:compressor
                                                    compressor
                                                    #:symlinks