bug#56252: closed ([PATCH] gnu: polkit-mozjs: Fix native-inputs usage.)

[GNU bug Tracking System]

Your message dated Wed, 20 Jul 2022 15:12:13 +0200
with message-id <874jzcnd1u.fsf@gnu.org>
and subject line Re: [bug#56252] Fw: Re: [PATCH] gnu: polkit-mozjs: Fix 
native-inputs usage.
has caused the debbugs.gnu.org bug report #56252,
regarding [PATCH] gnu: polkit-mozjs: Fix native-inputs usage.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56252: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56252
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: polkit-mozjs: Fix native-inputs usage. Date: Mon, 27 Jun 2022 10:34:25 +0000

This patch fixes cross-compilation for `polkit-mozjs' and `polkit-duktape'.

The error can be seen by executing:

guix build polkit-duktape \
           --target=aarch64-linux-gnu

—
Jean-Pierre De Jesus DIAZ

0001-gnu-polkit-mozjs-Fix-native-inputs-on-stage.patch
Description: Text Data

0001-gnu-polkit-mozjs-Fix-native-inputs-on-stage.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#56252] Fw: Re: [PATCH] gnu: polkit-mozjs: Fix native-inputs usage.
>
>
>
>
> Date: 
>
> Wed, 20 Jul 2022 15:12:13 +0200
>
>
>
>
> > From 7a6b55bb34a61ab393b5a994dc1467f5f25a2992 Mon Sep 17 00:00:00 2001
> > Message-Id: 
> > <7a6b55bb34a61ab393b5a994dc1467f5f25a2992.1656347660.git.me@jeandudey.tech>
> > From: Jean-Pierre De Jesus DIAZ <me@jeandudey.tech>
> > Date: Mon, 27 Jun 2022 12:18:05 +0200
> > Subject: [PATCH] gnu: polkit-mozjs: Fix native-inputs on stage.
> >
> > * gnu/packages/polkit.scm (polkit-duktape)[arguments]: Change the use of
> >   `inputs' to `(or native-inputs inputs)' when searching for `docbook-xsl'
> >   path.
>
> Pushed to 'staging' in 7767d30f55, thanks!
>
>
> --- End Message ---