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 <[email protected]>: > 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 <[email protected]>: > > Manolis Ragkousis <[email protected]> skribis: >> >> > From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001 >> > From: Manolis Ragkousis <[email protected]> >> > 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'. >> > >
