This removes the need to specify -XRTS=ravenscar-full when building.

The main project now depends on the crazyflie_full project that fixes the runtime to the ravenscar-full profile.
AdaCore · Aug 31, 2016 · a71ba52 · a71ba52
1 parent 54dbc30
commit a71ba52
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Ada_Drivers_Library b/Ada_Drivers_Library
diff --git a/cf_ada_spark.gpr b/cf_ada_spark.gpr
@@ -1,4 +1,4 @@
-with "Ada_Drivers_Library/boards/crazyflie";
+with "Ada_Drivers_Library/boards/crazyflie_full";
 
 project Cf_Ada_SPARK is
 
@@ -26,7 +26,7 @@ project Cf_Ada_SPARK is
 
    --  Export run-times's variables
    for Target use "arm-eabi";
-   for Runtime ("Ada") use Crazyflie'Runtime ("Ada");
+   for Runtime ("Ada") use Crazyflie_Full'Runtime ("Ada");
 
    package Compiler is
       case Build is