POHIAda and RTEMS5.1 apparently don't mix. Disable build (for now).

Demo_C_RTEMS/build-script.sh

@@ -71,16 +71,16 @@ then
     source user_init_post.sh
 fi
 
-assert-builder-ocarina.py \
-	--fast \
-	--debug \
-	--aadlv2 \
-	--keep-case \
-	--interfaceView "$INTERFACEVIEW" \
-	--deploymentView "$DEPLOYMENTVIEW" \
-	-o binary.ada \
-	--subC simple_c_function:"$SKELS"/simple_c_function.zip \
-	$ORCHESTRATOR_OPTIONS
+# assert-builder-ocarina.py \
+# 	--fast \
+# 	--debug \
+# 	--aadlv2 \
+# 	--keep-case \
+# 	--interfaceView "$INTERFACEVIEW" \
+# 	--deploymentView "$DEPLOYMENTVIEW" \
+# 	-o binary.ada \
+# 	--subC simple_c_function:"$SKELS"/simple_c_function.zip \
+# 	$ORCHESTRATOR_OPTIONS
 
 assert-builder-ocarina.py \
 	--fast \