From mboxrd@z Thu Jan 1 00:00:00 1970 From: Manolis Ragkousis Subject: Re: gnu : Add Hurd headers Date: Sat, 1 Mar 2014 18:25:17 +0000 Message-ID: References: <87zjl9vltl.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1134d69c25448f04f38fad32 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42526) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WJobA-0001o8-Mn for Guix-devel@gnu.org; Sat, 01 Mar 2014 13:25:22 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WJob8-0001Gu-PP for Guix-devel@gnu.org; Sat, 01 Mar 2014 13:25:20 -0500 In-Reply-To: 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: =?ISO-8859-1?Q?Ludovic_Court=E8s?= Cc: Guix-devel@gnu.org --001a1134d69c25448f04f38fad32 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable According to the hurd guys "--disable-profile" turns off profiling and they told me it should be kept . I should have explained that in a comment. I will talk with them about the autoconf issue. 2014-03-01 18:24 GMT+00:00 Manolis Ragkousis : > According to the hurd guys "--disable-profile" turns off profiling and > they told me it should be kept . I should have explained that in a commen= t. > > I will talk with them about the autoconf issue. > > > 2014-03-01 18:02 GMT+00:00 Ludovic Court=E8s : > > Manolis Ragkousis skribis: >> >> > From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001 >> > From: Manolis Ragkousis >> > Date: Sat, 1 Mar 2014 14:48:09 +0000 >> > Subject: [PATCH] gnu: hurd: Add Hurd headers. >> > >> > * gnu/packages/hurd.scm (hurd-headers): New variable. >> >> Pushed with a few modifications: >> >> > + (inputs >> > + `(("autoconf" ,autoconf))) >> >> Autoconf must be listed in 'native-inputs': when cross-compiling, you'll >> want the native autoconf program. >> >> Note that this dependency of Autoconf is the result of a bug in the >> Hurd's build system. Could you report it to the Hurd folks? >> >> > + #:configure-flags '("--host=3Di686-pc-gnu" "--disable-profile" >> > + "--without-parted") >> >> Any non-obvious flag needs to be justified, so I added comments, and >> removed --disable-profile, which was not justified. >> >> Thanks! >> >> Ludo'. >> > > --001a1134d69c25448f04f38fad32 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
According to the hurd guys "--d= isable-profile" turns off profiling and they told me it should be kept . I should have=20 explained that in a comment.

I will talk with them about the a= utoconf issue.



2014-03-01 18:24 GMT+00:00 Manolis Ragkousis <manolis837@gmail.com>:
According to the hurd = guys "--disable-profile" turns off profiling and they told me it = should be kept . I should have explained that in a comment.

I will talk with them about the autoconf issue.


2014-03= -01 18:02 GMT+00:00 Ludovic Court=E8s <ludo@gnu.org>:

Manolis Ragkousis <manolis837@gmail.com> skribis:

> From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001=
> From: Manolis Ragkousis <manolis837@gmail.com>
> Date: Sat, 1 Mar 2014 14:48:09 +0000
> Subject: [PATCH] gnu: hurd: Add Hurd headers.
>
> * gnu/packages/hurd.scm (hurd-headers): New variable.

Pushed with a few modifications:

> +    (inputs
> +     `(("autoconf" ,autoconf)))

Autoconf must be listed in ‘native-inputs’: when cross-compilin= g, you’ll
want the native autoconf program.

Note that this dependency of Autoconf is the result of a bug in the
Hurd’s build system.  Could you report it to the Hurd folks?

> +       #:configure-flags '("--host=3Di686-pc-= gnu" "--disable-profile"
> +                    = ;       "--without-parted")

Any non-obvious flag needs to be justified, so I added comments, and
removed --disable-profile, which was not justified.

Thanks!

Ludo’.


--001a1134d69c25448f04f38fad32--