Re: [PATCH 2/2] gnu: Add GNU Mach.

[Ludovic Courtès]

address@hidden skribis:

> From: Manolis Ragkousis <address@hidden>
>
> * gnu/packages/hurd.scm (gnumach): New variable.

[...]

> +     `(#:phases (modify-phases %standard-phases
> +                  (add-after 'install 'produce-image
> +                    (lambda* (#:key outputs #:allow-other-keys)
> +                      (let* ((out  (assoc-ref outputs "out"))
> +                             (boot (string-append out "/boot")))
> +                        (system* "make" "gnumach.gz")
> +                        (copy-file "gnumach.gz"
> +                                   (string-append boot "/gnumach.gz"))))))))

Make sure the phase returns #t on success:

  (and (zero? (system* "make" …))
       (begin
         (copy-file …)
         #t))

> +    (synopsis "Microkernel of the GNU system")
> +    (description
> +     "GNU Mach is the microkernel upon which a GNU Hurd system is based.")
> +    (license gpl2+)))

Does it build both on GNU/Linux and GNU/Hurd?

We probably need a ‘supported-systems’ field to restrict to i686 and
x86_64(?) GNU/Hurd and possibly GNU/Linux.

OK with these changes, thank you!

Ludo’.