David Craven <da...@craven.ch> 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’.