* 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
