Fix environment to build Blink demo

Demo_Crazyflie_Blink/user_init_pre.sh

@@ -8,12 +8,10 @@ else
     cd ..
 fi
 
-
-
-[ -z "$ADA_PROJECT_PATH" ] && \
-    export ADA_PROJECT_PATH=$PWD/Certyflie/Ada_Drivers_Library/boards/crazyflie:$PWD/Certyflie/Ada_Drivers_Library/boards/
+export ADA_PROJECT_PATH=$PWD/Certyflie/Ada_Drivers_Library/boards:/$PWD/Certyflie/Ada_Drivers_Library/boards/crazyflie
 
 # The following will add to ADA_INCLUDE_PATH
 ORCHESTRATOR_OPTIONS+="\
         --with-extra-Ada-code cortex_m_partition:$PWD/Certyflie/src \
+        --with-extra-Ada-code cortex_m_partition:$PWD/Certyflie/crazyflie_support/src \
         --with-extra-Ada-code cortex_m_partition:$PWD/Certyflie/src/mahony "