> I suspect this file must be generated during compilation, from the > output of "gnatmake" and the file distrib/gnat_switches.awk in the > sources.
Actually it is generated from gnat_ugn.texi (the GNAT User's Guide) and distrib/gnat_switches.awk. Unfortunately the GNAT User's Guide is non-free due to invariant sections and is in the package gnat-4.4-doc in nonfree. This makes it impossible to generate gnat_switches.py during compilation, as gnat-gps cannot build-depend on a package not in main. Maybe I could generate gnat_switches.py offline and provide it in a separate non-free package. I'll investigate the licensing options. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
