Re: GFDL with invariant texts, linker options and -lm built-in maths
* Nicolas Boulenguez:
> Most documentation for Adacore softwares (gps, gtkada, gnat,
> gprbuild...) is affected by the license-problem-gfdl-invariants
> problem, as described in
> https://wiki.debian.org/qa.debian.org/gfdlinvariant.
>
> Version 2013 of these softs, from
> http://libre.adacore.com/download/configurations, contains
> - a verbatim copy of GPL-3 in the main directory
> - a verbatim copy of GPL-1 at the end of the manual
> - a mention of GPL-2+ inside the code
> No license is made explicit for the documentation anymore.
Did you mean to write "GFDL" instead of "GPL" somewhere?
> And now, something completely different. I would appreciate ideas
> about #695055. Gtkada FTBFS on many architectures because an
> instantiation of generic_elementary_functions requires some missing
> symbols (cos, sin, pow). These symbols need the "-lm" flag on some
> architectures, and are built in gcc on some others (see #708056).
>
> The work-around is to append the "-lm" manually, and I am going to
> upload this. But do yo agree that this is a bug in gnat?
Yes, it is.
Reply to: