Package: gnat-gps Version: 5.0-13 Followup-For: Bug #693046 Control: severity -1 minor
The problem only occurs with gnat installed. The /usr/share/gps/plug-ins/gps_utils/gnat_rules.py plugin then defines a list of accepted switches. It relies on the /usr/share/gps/plug-ins/gps_utils/gnat_switches.py helper module. The latter should be generated at build-time by this line in Makefile.in (broken for readability): $(AWK) -f distrib/gnat_switches.awk < gnat/gnat_ugn.texi > $(sharedir)/gps/plug-ins/gnat_switches.py In the pristine upstream gnat-gps tarball, the gnat/ subdirectory contains a copy of the gnat sources. In Debian, it is empty and every reference to its content is replaced with a dependency on an external package. "gnat_ugn.texi" belongs to the gcc-doc-defaults source package, which unfortunately belongs to the "contrib" archive, as many GNU documentations. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
