[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.
OK.
>> 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!
Thanks,
Ludo’.
- [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically., (continued)
[PATCH 6/7] gnu: Add idris-bifunctors., David Craven, 2017/01/02
[PATCH 7/7] gnu: Add idris-lens., David Craven, 2017/01/02
Re: [PATCH 1/7] git-download: Add some helpers., Ludovic Courtès, 2017/01/03