Hello.
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. Which way do we go? - Split the packages with a -doc part in non-free section. - Ignore the problem until we start packaging the 2013 versions. - Ask Adacore to clarify their licenses for soft/doc. - ? 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? The end user is neither supposed to know whether Generic_Elementary_Functions.Sin is written in Ada or imported from C, nor in the second case on which architectures he should append "-lm" to the link options. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20130715170736.GA15099@pegase
