You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
19 lines
485 B
Plaintext
19 lines
485 B
Plaintext
-- prj.gpr
|
|
project Prj is
|
|
for Source_Dirs use ("src");
|
|
for Object_Dir use "obj";
|
|
|
|
package Coverage is
|
|
Cov_Level := ("--level=stmt");
|
|
for Switches ("instrument") use ("--dump-trigger=main-end") & Cov_Level;
|
|
for Switches ("run") use Cov_Level;
|
|
for Switches ("coverage") use ("--annotate=report") & Cov_Level;
|
|
end Coverage;
|
|
|
|
package Gnattest is
|
|
for Tests_Dir use "../tests";
|
|
for Harness_Dir use "../harness";
|
|
end Gnattest;
|
|
|
|
end Prj;
|