with "spark2012.gpr"; project Ironsides is for Source_Dirs use ("."); for Object_Dir use "build"; for Exec_Dir use "final"; for Main use ("spark_dns_main.adb"); package Compiler is for Default_Switches ("Ada") use ("-gnat05", "-gnatp", "-O3"); end Compiler; end Ironsides;