#1000442 libtool: generated wl="" in libtool file for CompCert is wrong, should be wl="-Wl,"

Package:
libtool
Source:
libtool
Submitter:
Vincent Lefevre
Date:
2021-11-23 10:03:04 UTC
Severity:
normal
#1000442#5
Date:
2021-11-23 09:58:21 UTC
From:
To:
In the generated libtool file with the CompCert 3.10 compiler,
one gets:

wl=""

With GNU MPFR, this yields an error for "make check".

This should be:

wl="-Wl,"