build-script.sh 2.42 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/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
#    unset USE_POHIC   

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

17 18 19 20 21 22 23
if [ -f user_init_pre.sh ]
then
    echo [INFO] Executing user-defined init script
    source user_init_pre.sh
fi

# Use PolyORB-HI-C runtime
24
# USE_POHIC=1
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

# Detect models from Ellidiss tools v2, and convert them to 1.3
INTERFACEVIEW=InterfaceView.aadl
grep "version => \"2" InterfaceView.aadl >/dev/null && {
    echo '[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 '[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 simple_c_function.zip && zip simple_c_function simple_c_function/* && 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 [INFO] Executing user-defined init script
    source user_init_post.sh
fi

74 75 76 77 78 79 80 81 82 83
# 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
84 85 86 87 88 89 90 91 92 93

assert-builder-ocarina.py \
	--fast \
	--debug \
        -p \
	--aadlv2 \
	--keep-case \
	--interfaceView "$INTERFACEVIEW" \
	--deploymentView "$DEPLOYMENTVIEW" \
	-o binary.c \
94 95
	--subC simple_c_function:"$SKELS"/simple_c_function.zip \
	$ORCHESTRATOR_OPTIONS