--  This project has been generated by GPRINSTALL 25.2w (20250225) (x86_64--netbsd)

library project AdaSAT is
   type BUILD_KIND is ("static");
   BUILD : BUILD_KIND := external("LIBRARY_TYPE", "static");

   for Languages use ("Ada");

   case BUILD is
      when "static" =>
         for Source_Dirs use ("../../include/adasat.static");
         for Library_Dir use "../../lib/adasat.static";
         for Library_Kind use "static";
   end case;

   for Library_Name use "adasat";

   package Naming is
      for dot_replacement use "-";
      for casing use "lowercase";
      
      case BUILD is
         when "static" =>
            for body_suffix ("ada") use ".adb";
            for spec_suffix ("ada") use ".ads";
      end case;
   end Naming;

   package Linker is
      case BUILD is
         when "static" =>
            null;
      end case;
   end Linker;

   package Install is
      for Active use "False";
   end Install;

   for Externally_Built use "True";

   type Build_Mode_Type is
     ("dev", "prod", "prof");

   type Library_Kind_Type is
     ("static", "relocatable", "static-pic");

   common_ada_cargs   := ("-gnatwa", "-gnatyg", "-fPIC");
   library_kind_param : library_kind_type := "static";
   build_mode         : build_mode_type := "prod";
end AdaSAT;
