David Craven 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
> 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
> Regarding that, I think it's harder than it should be to add new build
> systems at the moment. I think that adding a new build system requires
> a substantial amount of boiler plate.
Actually I withdraw this statement. Except copying the guile-for-build
procedure into every build-system, there
David Craven skribis:
>> IMO you can push this patch as is and provide an ‘idris-build-system’
>> later on, or do the latter first. Either way is fine with me as long as
>> we don’t wait until there are ten users of ‘idris-default-arguments’.
>> WDYT?
>
> Regarding that, I
> IMO you can push this patch as is and provide an ‘idris-build-system’
> later on, or do the latter first. Either way is fine with me as long as
> we don’t wait until there are ten users of ‘idris-default-arguments’.
> WDYT?
Regarding that, I think it's harder than it should be to add new build
David Craven skribis:
> * gnu/packages/haskell.scm (idris-lightyear, idris-default-arguments):
> New variables.
> ---
> gnu/packages/haskell.scm | 71
>
> 1 file changed, 71 insertions(+)
>
> diff --git
* gnu/packages/haskell.scm (idris-lightyear, idris-default-arguments):
New variables.
---
gnu/packages/haskell.scm | 71
1 file changed, 71 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index c55386e2f..2e31c0dbb