set stm32 to gnat full runtime

83f82b2a · Maxime Perrotin · 666ff6ba · 83f82b2a
Commit 83f82b2a authored Oct 14, 2017 by Maxime Perrotin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

misc/supported-platforms/ocarina_components.aadl misc/supported-platforms/ocarina_components.aadl +1 -1

No files found.
--- a/misc/supported-platforms/ocarina_components.aadl
+++ b/misc/supported-platforms/ocarina_components.aadl
@@ -2150,7 +2150,7 @@ end crazyflie_v2.gnat;
 processor stm32f4_discovery extends arm
 properties
   Deployment::Execution_Platform => GNAT_Runtime;
-   Deployment::Ada_Runtime => "stm32f407_discovery";
+   Deployment::Ada_Runtime => "stm32f407_discovery_full";
 end stm32f4_discovery;

 processor implementation stm32f4_discovery.gnat