[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 4/7] gnu: Add idris-lightyear.

From: Ludovic Courtès
Subject: Re: [PATCH 4/7] gnu: Add idris-lightyear.
Date: Thu, 05 Jan 2017 11:43:22 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux)

David Craven <address@hidden> skribis:

>> I’m not sure what a ‘phase-build-system’ would look like, if not like
>> ‘gnu-build-system’, but it’s an interesting idea to explore.
> I think you are right, it would look exactly like the
> gnu-build-system. I think my issue wasn't technical but psychological.
> It feels like other build-systems aren't first class citizens, but
> that's a minor issue and wouldn't change anything worthwhile.


>> Dave Thompson recently suggested that maybe phases could be first-class,
>> i.e., directly exposed on the “host side”, which is indeed a valid
>> design question.  Another thing worth exploring!
> Sounds interesting. Did he provide an example of what that would look like?

I don’t think so, but maybe they’ll have to now?  ;-)

>> The ‘wip-build-systems-gexp’ branch is still around and I plan to look
>> into it again…
> I was impressed by how easy it was to rebase it after 1.5 years!

If you rebased it and there were no suspicious conflicts, feel free to
delete + push!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]