build-script.sh 3.39 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11
#!/bin/bash

# This script will build your TASTE system (by default with the C runtime).

# You should not change this file as it was automatically generated.

# If you need additional preprocessing, create a file named 'user_init_pre.sh'
# and/or 'user_init_post.sh - They will never get overwritten.'

# Inside these files you may set some environment variables:
#    C_INCLUDE_PATH=/usr/include/xenomai/analogy/:${C_INCLUDE_PATH}
12 13

mkdir -p .cache
14
export PROJECT_CACHE=$HOME/.taste_AST_cache
15

16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
unset USE_POHIC   
unset USE_POHIADA

CWD=$(pwd)

[ -z "$ADA_PROJECT_PATH" ] && \
    export ADA_PROJECT_PATH=$HOME/GitHub/Certyflie/Ada_Drivers_Library/boards

if [ -t 0 ] ; then
    COLORON="\e[1m\e[32m"
    COLOROFF="\e[0m"
else
    COLORON=""
    COLOROFF=""
fi
INFO="${COLORON}[INFO]${COLOROFF}"

if [ -f user_init_pre.sh ]
then
    echo -e "${INFO} Executing user-defined init script"
    source user_init_pre.sh
fi

# Detect models from Ellidiss tools v2, and convert them to 1.3
INTERFACEVIEW=InterfaceView.aadl
grep "version => \"2" InterfaceView.aadl >/dev/null && {
    echo -e "${INFO} Converting interface view from V2 to V1.3"
    TASTE --load-interface-view InterfaceView.aadl --export-interface-view-to-1_3 __iv_1_3.aadl
    INTERFACEVIEW=__iv_1_3.aadl
};

if [ -z "$DEPLOYMENTVIEW" ]
then
    DEPLOYMENTVIEW=DeploymentView.aadl
fi

# Detect models from Ellidiss tools v2, and convert them to 1.3
grep "version => \"2" "$DEPLOYMENTVIEW" >/dev/null && {
    echo -e "${INFO} Converting deployment view from V2 to V1.3"
    TASTE --load-deployment-view "$DEPLOYMENTVIEW" --export-deployment-view-to-1_3 __dv_1_3.aadl
    DEPLOYMENTVIEW=__dv_1_3.aadl
};

SKELS="./"

cd "$SKELS" && rm -f copter_imu.zip && zip copter_imu copter_imu/* && cd $OLDPWD

cd "$SKELS" && rm -f control_laws.zip && zip control_laws control_laws/* && cd $OLDPWD

[ ! -z "$CLEANUP" ] && rm -rf binary*

if [ -f ConcurrencyView.pro ]
then
    ORCHESTRATOR_OPTIONS+=" -w ConcurrencyView.pro "
fi

if [ ! -z "$USE_POHIC" ]
then
    OUTPUTDIR=binary.c
    ORCHESTRATOR_OPTIONS+=" -p "
elif [ ! -z "$USE_POHIADA" ]
then
    OUTPUTDIR=binary.ada
else
    OUTPUTDIR=binary
fi

if [ -f user_init_post.sh ]
then
    echo -e "${INFO} Executing user-defined init script"
    source user_init_post.sh
fi

cd "$CWD" && assert-builder-ocarina.py \
	--fast \
	--debug \
	--aadlv2 \
	--keep-case \
	--interfaceView "$INTERFACEVIEW" \
	--deploymentView "$DEPLOYMENTVIEW" \
	-o "$OUTPUTDIR" \
	--subAda copter_imu:"$SKELS"/copter_imu.zip \
	--subC control_laws:"$SKELS"/control_laws.zip \
    --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/config \
    --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/drivers \
    --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/hal \
	--with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/lib \
	--with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/modules \
	--with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/modules/mahony \
	--with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/types \
    --with-extra-Ada-code cortex_m_partition:$HOME/GitHub/Certyflie/utils \

    $ORCHESTRATOR_OPTIONS || exit 1

arm-eabi-objcopy -O binary binary/binaries/cortex_m_partition binary/binaries/cortex_m_partition.flash_image

echo -e "\nNow burn the new image with:\n"
echo "   sudo dfu-util -d 0483:df11 -a 0 -s 0x08000000 \\"
echo "       -D binary/binaries/cortex_m_partition.flash_image"