cobs.gpr

with "config/cobs_config.gpr";
project Cobs is

   for Library_Name use "Cobs";
   for Library_Version use Project'Library_Name & ".so." & Cobs_Config.Crate_Version;

   for Source_Dirs use ("src/", "config/");
   for Object_Dir use "obj/" & Cobs_Config.Build_Profile;
   for Create_Missing_Dirs use "True";
   for Library_Dir use "lib";

   type Library_Type_Type is ("relocatable", "static", "static-pic");
   Library_Type : Library_Type_Type :=
     external ("COBS_LIBRARY_TYPE", external ("LIBRARY_TYPE", "static"));
   for Library_Kind use Library_Type;

   package Compiler is
      for Default_Switches ("Ada") use Cobs_Config.Ada_Compiler_Switches;
   end Compiler;

   package Binder is
      for Switches ("Ada") use ("-Es"); --  Symbolic traceback
   end Binder;

   package Install is
      for Artifacts (".") use ("share");
   end Install;

   package Prove is
      for Proof_Switches ("Ada") use ("--proof=per_path",
                                      "-j0",
                                      "--no-global-generation",
                                      "--no-inlining",
                                      "--no-loop-unrolling",
                                      "--prover=cvc4,z3,altergo",
                                      "--timeout=60",
                                      "--memlimit=0",
                                      "--steps=15000",
                                      "--report=statistics",
                                      "--checks-as-errors");
   end Prove;

end Cobs;