www/aws-demos/files/patch-demos_web__elements_web__elements.gpr

   1 --- demos/web_elements/web_elements.gpr.orig    2014-05-15 19:48:07.000000000 +0000
   2 +++ demos/web_elements/web_elements.gpr
   3 @@ -25,6 +25,7 @@ project Web_Elements is
   4
   5     package Builder is
   6        for Default_Switches ("Ada") use ("-gnat05");
   7 +      for Executable ("web_elements.adb") use "web_elements_program";
   8     end Builder;
   9
  10  end Web_Elements;