[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: |
Tue, 03 Jan 2017 13:26:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
David Craven <address@hidden> skribis:
> * 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 100644
> --- a/gnu/packages/haskell.scm
> +++ b/gnu/packages/haskell.scm
> @@ -48,6 +48,7 @@
> #:use-module (guix build-system gnu)
> #:use-module (guix build-system haskell)
> #:use-module (guix download)
> + #:use-module (guix git-download)
> #:use-module ((guix licenses) #:prefix license:)
> #:use-module (guix packages)
> #:use-module (guix utils)
> @@ -6751,6 +6752,76 @@ can be specified precisely in the type. The language
> is closely related to
> Epigram and Agda.")
> (license license:bsd-3)))
>
> +;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is
> set.
> +(define (idris-default-arguments name)
> + `(#:modules ((guix build gnu-build-system)
> + (guix build utils)
> + (ice-9 ftw)
> + (ice-9 match))
> + #:phases
> + (modify-phases %standard-phases
[...]
> + (build-system gnu-build-system)
> + (native-inputs
> + `(("idris" ,idris)))
> + (arguments (idris-default-arguments name))
I think this is asking for a new build system with its own modules and
phases.
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?
Thanks,
Ludo’.
- [PATCH 1/7] git-download: Add some helpers., David Craven, 2017/01/02
- [PATCH 3/7] gnu: idris: Update to 0.99., David Craven, 2017/01/02
- [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically., David Craven, 2017/01/02
- [PATCH 5/7] gnu: Add idris-wl-pprint., David Craven, 2017/01/02
- [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/02
- Re: [PATCH 4/7] gnu: Add idris-lightyear.,
Ludovic Courtès <=
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/05
[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