[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 4/7] gnu: Add idris-lightyear.
From: |
David Craven |
Subject: |
Re: [PATCH 4/7] gnu: Add idris-lightyear. |
Date: |
Tue, 3 Jan 2017 16:08:20 +0100 |
> 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 isn't any boilerplate. I
think the impression that there was boilerplate came from the fact
that I copied an existing build-system before I understood how it
worked.
- Re: [PATCH 3/7] gnu: idris: Update to 0.99., (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