Index: natools.gpr ================================================================== --- natools.gpr +++ natools.gpr @@ -1,7 +1,7 @@ project Natools is - type Build_Type is ("Release", "Coverage"); + type Build_Type is ("Release", "Coverage", "Profiling"); Mode : Build_Type := external ("MODE", "Release"); type Task_Safety is ("None", "Portable", "Intel"); -- Task-safe, portable, efficient: choose two Safety : Task_Safety := external ("TASK_SAFETY", "None"); @@ -12,10 +12,12 @@ case Mode is when "Release" => Prefix := ""; when "Coverage" => Prefix := "coverage/"; + when "Profiling" => + Prefix := "profiling/"; end case; -- Source_Dirs is left to default "." for Source_Dirs use ("src", "generated"); for Object_Dir use Prefix & "obj"; @@ -25,10 +27,12 @@ when "Release" => Extra_Switches := ("-O3"); when "Coverage" => Extra_Switches := ("-g", "-O0", "-fprofile-arcs", "-ftest-coverage"); + when "Profiling" => + Extra_Switches := ("-O3", "-g", "-pg"); end case; package Compiler is for Default_Switches ("Ada") use