sparklib_internal.gpr

with "sparklib_common";

project SPARKlib_Internal is

   for Externally_Built use SPARKlib_common.SPARKlib_Installed;

   -- This project is not supposed to be used directly. Instead, copy
   -- sparklib.gpr.templ as sparklib.gpr in your code and provide
   -- appropriate values for the object directory Object_Dir (so that
   -- compilation and artifacts are generated in directories under your
   -- control) and the list of excluded source files Excluded_Source_Files
   -- (so that you only compile and analyse files from the library that
   -- you need).

   for Source_Dirs use (SPARKlib_common.Root, SPARKlib_common.Root & "/full");

   case SPARKlib_common.SPARKlib_Installed is
      when "True" =>
         null;
      when others =>
         for Object_Dir use "obj";
   end case;

   package Compiler is
      --  Enforce GNAT style checks, except for multiple blank lines which does
      --  not work for preprocessed files, and alphabetical ordering of
      --  subprogram bodies (although not applicable to null subprograms).
      for Default_Switches ("Ada") use
         ("-gnat2022", "-gnatygo-u", "-gnata",
	  "-gnatwI"  --  disable warnings about SPARKlib using GNAT internal units
         );
   end Compiler;


   package Prove renames SPARKlib_common.Prove;


end SPARKlib_Internal;