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

2017-01-05 Thread Ludovic Courtès
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

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

2017-01-03 Thread David Craven
> 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

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

2017-01-03 Thread David Craven
> 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

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

2017-01-03 Thread Ludovic Courtès
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

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

2017-01-03 Thread David Craven
> 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

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

2017-01-03 Thread Ludovic Courtès
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

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

2017-01-02 Thread David Craven
* 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