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 <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ès <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-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=i686-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’.