with "sparklib_common";

-- This project file is intended for use with reduced runtimes without

-- Ada.Numerics.Big_Numbers or Ada.Finalization units.

project SPARKlib_Light_Internal is

for Externally_Built use SPARKlib_common.SPARKlib_Installed;

-- This project is not supposed to be used directly. Instead, copy

-- sparklib_light.gpr.templ as sparklib_light.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 & "/light")

& SPARKlib_common.Config_Source_Dirs;

case SPARKlib_common.SPARKlib_Installed is

when "True" =>

null;

when others =>

for Object_Dir use "obj";

end case;

package Naming renames SPARKlib_common.Naming;

package Compiler renames SPARKlib_common.Compiler;

package Prove renames SPARKlib_common.Prove;

Common_Default_Switches := SPARKlib_Common.Common_Default_Switches;

end SPARKlib_Light_Internal;