Subject: Re: [bug#32052] [PATCH] gnu: Add oath-toolkit.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Sat, 11 Aug 2018 02:13:20 +0200

Ludo', Marius,

Ludovic Courtès wrote:
> Marius Bakke <[email-masked]> skribis:
>
>> Tobias Geerinckx-Rice <[email-masked]> writes:
>>> Actually, I'd like to manually delete the static (.a) 
>>> libraries. Objections?
>>
>> No objections.  Although if it's well behaved, you may be able 
>> to simply
>> add (outputs ("out" "static")) to move them out of the way.
>
> Note that the “static” output is not handled automatically; you 
> need to
> manually move files around.
>
> But I think it’s OK to just delete them in this case.

Done in commit b3543e6c79d547434c231eadc5089c720755ff73.

Thanks to you both!

T G-R