[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: Re: [PATCH 2/2] gnu: Add GNU Mach.
Date: Thu, 12 Jan 2017 15:11:31 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

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" …))
         (copy-file …)

> +    (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!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]