|
From: | Manolis Ragkousis |
Subject: | Re: gnu : Add Hurd headers |
Date: | Sat, 1 Mar 2014 18:25:17 +0000 |
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 <address@hidden>:Manolis Ragkousis <address@hidden> skribis:
> From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
> From: Manolis Ragkousis <address@hidden>
> 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’.
[Prev in Thread] | Current Thread | [Next in Thread] |