Re: Bug report: gnucap-default-plugins.so fails to load on Arch Linux (snapshot 2026.03.29)

Hi Felix,

On 5/25/26 22:08, Felix Salfelder wrote:

> On Mon, May 25, 2026 at 08:42:17PM +0200, Aniol Martí wrote:
>> Hello,
>>
>> I am writing to report a bug in gnucap snapshot 2026.03.29 on Arch Linux
>> x86_64.
>>
>> ## Summary
>>
>> gnucap fails to load gnucap-default-plugins.so at startup, causing all
>> directives (.INCLUDE, .PRINT, .AC, .END, etc.) to be unrecognized.
> Thanks Aniol for your bug report.
>
> I have not tried the Arch package, but here are two quick thoughts that
> might resolve the problem.
>
> 1. You should see something like
>
> [..]
> main version: ...
> core-lib version: ...
> default plugins: ...
>
> when running gnucap with default settings. The third line is printed by
> the plugin itself, so the loading was successful.

The three versions match: snapshot 2026.03.29.

>
> 2. case sensitivity. The default language was changed in the 20251222-dev
> snapshot. It is now case sensitive (see NEWS).
>
> The .AC etc. commands should still work as expected in "spice batch
> mode". in this mode, both the dot and the capitalised letters will be
> interpreted the way Spice does.
>
> Running gnucap with --spice should result in the pre-2025 behaviour. See
> README for details.

That was the problem :-)

Thank you very much!

>
>> Manually running `load /usr/lib/gnucap/gnucap-default-plugins.so` in
>> interactive mode triggers a segmentation fault with the message "already
>> loaded, replacing".
> Looks like a bug. I will investigate.
>
> cheers
> Felix
Regards,
Aniol