From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] gnu: Add GNU Mach. Date: Tue, 09 Feb 2016 22:45:02 +0100 Message-ID: <87k2mdpnhd.fsf@gnu.org> References: <56B9BD02.4000604@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58287) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aTG5t-0001x8-9z for guix-devel@gnu.org; Tue, 09 Feb 2016 16:45:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aTG5q-0001Kq-4f for guix-devel@gnu.org; Tue, 09 Feb 2016 16:45:09 -0500 In-Reply-To: <56B9BD02.4000604@gmail.com> (Manolis Ragkousis's message of "Tue, 9 Feb 2016 12:18:42 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Manolis Ragkousis Cc: guix-devel@gnu.org Manolis Ragkousis skribis: > From 63d8cac0762393340247d96e392d417763e57b04 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis > Date: Tue, 9 Feb 2016 11:59:54 +0200 > Subject: [PATCH] gnu: Add GNU Mach. > > * gnu/packages/hurd.scm (gnumach): New variable. [...] > +(define-public gnumach > + (package (inherit gnumach-headers) > + (name "gnumach") > + (build-system gnu-build-system) > + (native-inputs > + `(("mig" ,mig) > + ("perl" ,perl))) > + (arguments > + `(#:phases %standard-phases)) The =E2=80=98arguments=E2=80=99 field has no effect and can be removed. > + (synopsis "Microkernel of the GNU system") > + (description > + "GNU Mach is the microkernel upon which a GNU Hurd system is based.= "))) =E2=80=9CGNU/Hurd=E2=80=9D. OK with these changes. If that=E2=80=99s fine with you, it=E2=80=99s best to push it to =E2=80=98m= aster=E2=80=99 and eventually rebase =E2=80=98wip-hurd=E2=80=99 on top of =E2=80=98master=E2=80=99. Thanks! Ludo=E2=80=99.