Re: Customising linux-libre

2016-07-23 Thread Ludovic Courtès
Hello!

Tobias Geerinckx-Rice  skribis:

> On 2016-07-22 21:58, Vincent Legoll wrote:
>>> Does anyone know a reason why all the .config stuff couldn't be
>>> moved to a separate 'configure-phase, before I waste my time? ;-)
>>
>> There's a thread in help-guix that may be relevant:
>>
>> https://lists.gnu.org/archive/html/help-guix/2016-07/msg00096.html
>
> Yes, in the sense that Ludo's example from that thread was what
> got me started. I hadn't expected it to be so easy.
>
> What I actually meant was: why is everything up to ‘make oldconfig’
> part of the build phase, and not a separate 'configure phase?

Good point!  The current ‘build-phase’ could very much be split into
maybe 3 phases: one to set ARCH, one to fiddle with .config, one to run
‘make oldconfig’, and one to perform the actual build (three? four?).

WDYT?

Ludo’.



Re: Customising linux-libre

2016-07-22 Thread David Craven
> PS: any chance you could easily switch to plain text for this list?
> It would make reading & replying just a bit more pleasant :-)

Sry, it's probably when I reply from my phone... I can't see anything
wrong [0] dough...

[0] http://lists.gnu.org/archive/html/guix-devel/2016-07/msg00969.html



Re: Customising linux-libre

2016-07-22 Thread Tobias Geerinckx-Rice

David,

On 2016-07-22 22:00, David Craven wrote:

I'm sure if you improve the linux-libre package to make it simpler
to customize we can annoy ludo until he merges it... =P


That's the plan! I just don't want to do the work only to hear (or
realise myself) ‘yeah, it should be like that, but x, so no’.

Kind regards,

T G-R

PS: any chance you could easily switch to plain text for this list?
It would make reading & replying just a bit more pleasant :-)



Re: Customising linux-libre

2016-07-22 Thread Tobias Geerinckx-Rice

Vincent,

Thanks for the quick reply!

On 2016-07-22 21:58, Vincent Legoll wrote:

Does anyone know a reason why all the .config stuff couldn't be
moved to a separate 'configure-phase, before I waste my time? ;-)


There's a thread in help-guix that may be relevant:

https://lists.gnu.org/archive/html/help-guix/2016-07/msg00096.html


Yes, in the sense that Ludo's example from that thread was what
got me started. I hadn't expected it to be so easy.

What I actually meant was: why is everything up to ‘make oldconfig’
part of the build phase, and not a separate 'configure phase?

Kind regards,

T G-R

--
Sent from a web browser. Excuse my brevity.



Re: Customising linux-libre (was: [PATCH 4/4] environment: Add '--debug' flag.)

2016-07-22 Thread Vincent Legoll
On Fri, Jul 22, 2016 at 10:00 PM, David Craven  wrote:
> I'm sure if you improve the linux-libre package to make it simpler to
> customize we can annoy ludo until he merges it... =P

Maybe something like what I proposed here:
https://lists.gnu.org/archive/html/help-guix/2016-07/msg00122.html
would do what people want...

-- 
Vincent Legoll



Re: Customising linux-libre (was: [PATCH 4/4] environment: Add '--debug' flag.)

2016-07-22 Thread David Craven
I'm sure if you improve the linux-libre package to make it simpler to
customize we can annoy ludo until he merges it... =P
On Jul 22, 2016 9:58 PM, "Vincent Legoll"  wrote:

> > That's wonderfully trivial. It encouraged me to finally try porting
> > my old patched Linux kernel + custom configuration to the new GuixSD
> > installation. Now to find out why it silently fails after ‘make’...
> >
> > Hmm, seems like I'll be copying over the entire linux-libre
> > 'build-phase to poke at it a bit.
> >
> > Does anyone know a reason why all the .config stuff couldn't be
> > moved to a separate 'configure-phase, before I waste my time? ;-)
>
> There's a thread in help-guix that may be relevant:
>
> https://lists.gnu.org/archive/html/help-guix/2016-07/msg00096.html
>
> --
> Vincent Legoll
>


Re: Customising linux-libre (was: [PATCH 4/4] environment: Add '--debug' flag.)

2016-07-22 Thread Vincent Legoll
> That's wonderfully trivial. It encouraged me to finally try porting
> my old patched Linux kernel + custom configuration to the new GuixSD
> installation. Now to find out why it silently fails after ‘make’...
>
> Hmm, seems like I'll be copying over the entire linux-libre
> 'build-phase to poke at it a bit.
>
> Does anyone know a reason why all the .config stuff couldn't be
> moved to a separate 'configure-phase, before I waste my time? ;-)

There's a thread in help-guix that may be relevant:

https://lists.gnu.org/archive/html/help-guix/2016-07/msg00096.html

-- 
Vincent Legoll