On 12/7/20 1:19 PM, Tom de Vries wrote:
> Hi,
> 
> There's a single test-case in the testsuite that explicitly calls gnatbind and
> gnatlink: gdb.ada/catch_ex_std.exp.
> 
> Instead, use gnatmake and pass specific gnatbind and gnatlink options using
> gnatmake passthrough options -bargs and -largs.
> 
> Tested on x86_64-linux.
> 
> Any comments?
> 

Oops, forgot the additional_flags= prefix.

Fixed in this version, such that we indeed have a dependency on
libgnat-7.so due to -bargs -shared -margs:
...
$ ldd foo
        linux-vdso.so.1 (0x00007ffec0179000)
        libsome_package.so => ./libsome_package.so (0x00007fe548526000)
        libgnat-7.so => /usr/lib64/libgnat-7.so (0x00007fe547f9b000)
        libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007fe547d82000)
        libc.so.6 => /lib64/libc.so.6 (0x00007fe5479c7000)
        libm.so.6 => /lib64/libm.so.6 (0x00007fe54768f000)
        /lib64/ld-linux-x86-64.so.2 (0x00007fe548728000)
...

Thanks,
- Tom