project IronsidesV1_1 is

   for Languages use ("Ada", "Cmd", "Dpc", "Fdl", "Index", "Listing", "Metafile", "Plg", "Pogs Summary", "Prv", "Rls", "Rlu", "Rul", "Sdp", "Siv", "Slg", "Vcg", "Vct", "Vlg");
   for Source_Dirs use (".\**");
   for Source_Files use ("buffer_pkg.ads", "dns_network.adb", "dns_network.ads", "dns_network_receive.adb", "dns_network_receive.ads", "dns_types.adb", "dns_types.ads", "global_buffers.ads", "protected_buffer_pkg.adb", 
      "protected_buffer_pkg.ads", "protected_spark_io_05.adb", "protected_spark_io_05.ads", "spark_dns_v1_1_main.adb", "udp_query_task_pkg.adb", "udp_query_task_pkg.ads");
   for Main use ("spark_dns_v1_1_main.adb");
   for Library_Dir use "..\..\..\..\..\..\SPARK\2012\lib\spark\current";
   for Library_Src_Dir use "..\..\..\..\..\..\SPARK\2012\lib\spark\current";

   package Ide is
      for Default_Switches ("examiner") use ("-warning_file=C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\spark.wrn", "-profile=ravenscar", "-language=2005", "-vcg", 
         "-index_file=C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\spark.idx", "-config=C:\BSF\Research\FormalMethodsDNS\GPSProjects\Prototype\v1.1\gnat.cfg");
      for Default_Switches ("sparksimp") use ("-t", "-victor");
   end Ide;

end IronsidesV1_1;

