Merge pull request #66 from dinkelk/bareboard_updates

Bareboard Target Updates

redo/targets/gpr/a_bareboard_development.gpr

@@ -13,6 +13,12 @@ abstract project a_bareboard_development extends all "a_bareboard_production.gpr
          -- This combined with Initialize_Scalars, below, greatly aids in discovering uninitializated
          -- variable bugs.
          ("-gnatVa");
+
+      for Switches ("C") use a_bareboard_base.Compiler'Switches ("C");
+
+      for Switches ("C++") use a_bareboard_base.Compiler'Switches ("C++");
+
+      for Switches ("Asm_Cpp") use a_bareboard_base.Compiler'Switches ("Asm_Cpp");
    end Compiler;
 
 end a_bareboard_development;

redo/targets/gpr/a_bareboard_production.gpr

@@ -18,6 +18,10 @@ abstract project a_bareboard_production extends all "a_bareboard_base.gpr" is
          -- optimization
          ("-O2");
 
+      for Switches ("C++") use a_bareboard_base.Compiler'Switches ("C++") &
+         -- optimization
+         ("-O2");
+
       for Switches ("Asm_Cpp") use a_bareboard_base.Compiler'Switches ("Asm_Cpp") &
          -- optimization
          ("-O2");

redo/targets/gpr/a_bareboard_safe.gpr

@@ -0,0 +1,29 @@
+abstract project a_bareboard_safe extends all "a_bareboard_base.gpr" is
+
+   -- This is a "safe" target which has no optimization and no runtime checks enabled.
+   -- It is meant for "fallback" images, which need to have substantially different binaries
+   -- than production images to work around compiler bugs and boot loops caused from Ada
+   -- runtime checks. It is recommended to pair this with a runtime that also has optimizations
+   -- disabled.
+   package Compiler is
+      -- Add preprocessor definitions and configuration pragma switches:
+      for Switches ("Ada") use a_bareboard_base.Compiler'Switches ("Ada") &
+         -- No optimization
+         ("-O0") &
+         -- Suppress ALL runtime checking;
+         ("-gnatp");
+
+      for Switches ("C") use a_bareboard_base.Compiler'Switches ("C") &
+         -- No optimization
+         ("-O0");
+
+      for Switches ("C++") use a_bareboard_base.Compiler'Switches ("C++") &
+         -- No optimization
+         ("-O0");
+
+      for Switches ("Asm_Cpp") use a_bareboard_base.Compiler'Switches ("Asm_Cpp") &
+         -- No optimization
+         ("-O0");
+   end Compiler;
+
+end a_bareboard_safe;