gnat-gps/dump-xref.patch

   1 --- shared.gpr.orig     2011-10-15 22:51:47.916599465 +0300
   2 +++ shared.gpr  2011-10-15 22:51:47.914599210 +0300
   3 @@ -35,7 +35,7 @@
   4                 "-gnatwaCJe", "-gnat05");
   5
   6              for Default_Switches ("C") use
   7 +              ("-g", "-O1") & GnatColl_Shared.Gtk_Include;
   8 -              ("-g", "-O1", "-fdump-xref") & GnatColl_Shared.Gtk_Include;
   9
  10           when "Production" =>
  11              for Default_Switches ("Ada") use