[debbugs-tracker] bug#26507: closed ([PATCH 2/2] gnu: idris: Fix idris-default-arguments.)

[GNU bug Tracking System]

Your message dated Sat, 15 Apr 2017 02:52:33 +0200
with message-id <address@hidden>
and subject line Closing duplicate bug
has caused the debbugs.gnu.org bug report #26507,
regarding [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
26507: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=26507
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 2/2] gnu: idris: Fix idris-default-arguments.
>
>
>
>
> Date: 
>
> Sat, 15 Apr 2017 04:31:19 +0200
>
>
>
>
> * gnu/packages/idris.scm (idris-default-arguments): Don't set 
> IDRIS_LIBRARY_PATH before
> building and change --install to --build.
> ---
>  gnu/packages/idris.scm | 6 ++++--
>  1 file changed, 4 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
> index 4e3a4fddb..de9b5dd1d 100644
> --- a/gnu/packages/idris.scm
> +++ b/gnu/packages/idris.scm
> @@ -146,12 +146,14 @@ Epigram and Agda.")
>                                                      idris-path-files))
>                   (install-cmd (cons* idris-bin
>                                       "--ibcsubdir" ibcsubdir
> -                                     "--install" ipkg
> +                                     "--build" ipkg
> +                                     ;; only trigger a build, as --ibcsubdir
> +                                     ;; already installs .ibc files.
> +
>                                       (apply append (map (lambda (path)
>                                                            (list "--idrispath"
>                                                                  path))
>                                                          idris-path-subdirs)))))
> -            (setenv "IDRIS_LIBRARY_PATH" idris-libs)
>              ;; FIXME: Seems to be a bug in idris that causes a dubious failure.
>              (apply system* install-cmd)
>              #t))))))
> -- 
> 2.12.2
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Closing duplicate bug Date: Sat, 15 Apr 2017 02:52:33 +0200

Closing as this is a duplicate of 26505

--- End Message ---