[debbugs-tracker] bug#28285: closed (Add heimdall)

[GNU bug Tracking System]

Your message dated Tue, 3 Oct 2017 21:46:27 +0200
with message-id <address@hidden>
and subject line Re: [bug#28378] [PATCH] gnu: Add heimdall.
has caused the debbugs.gnu.org bug report #28378,
regarding Add heimdall
to be marked as done.

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


-- 
28378: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28378
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Add heimdall Date: Tue, 29 Aug 2017 23:58:29 +0200

Hi,

this patch adds heimdall, a tool I just used to flash replicant on my
smartphone :)

0001-gnu-Add-heimdall.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#28378] [PATCH] gnu: Add heimdall.
>
>
>
>
> Date: 
>
> Tue, 3 Oct 2017 21:46:27 +0200
>
>
>
>
> Le Wed, 20 Sep 2017 22:34:23 +0200,
> address@hidden (Ludovic Courtès) a écrit :
>
> > Hi Julien,
> > 
> > Julien Lepiller <address@hidden> skribis:
> > 
> > > From 0cd2378f5aa2626f8118d607a6b3558c212d80ec Mon Sep 17 00:00:00
> > > 2001 From: Julien Lepiller <address@hidden>
> > > Date: Tue, 29 Aug 2017 23:54:16 +0200
> > > Subject: [PATCH] gnu: Add heimdall.
> > >
> > > * gnu/packages/flashing-tools.scm (heimdall): New variable.
> > >
> > > Co-Authored-By: Danny Milosavljevic <address@hidden>  
> > 
> > It LGTM.  I don’t see why libpit.a is needed, but I’ll let you
> > decide.  :-)
> > 
> > > +    (build-system cmake-build-system)
> > > +    (arguments
> > > +     `(#:configure-flags '("-DCMAKE_BUILD_TYPE=Release")  
> > 
> > Why not keep the default “RelWithDebInfo”?
> That's what was documented in this package.
>
> Pushed as f282aa530b91c8fecb910bc0a3323fcbd4d39ffb.
>
> > 
> > Thanks!
> > 
> > Ludo’.
>
>
>
> --- End Message ---