build-script.sh 621 Bytes
Newer Older
1
#!/bin/bash
2

3
mkdir -p .cache
4
export PROJECT_CACHE=$HOME/.taste_AST_cache
5

6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
rm -f a.zip
zip a a/*
rm -f b.zip
zip b b/*

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

# build with Ada runtime
assert-builder-ocarina.py \
	-f \
	--aadlv2 \
	--keep-case \
	--interfaceView InterfaceView.aadl \
	--deploymentView DeploymentView.aadl \
	-o binary.linux.ada \
	--subC a:a.zip \
	--subC b:b.zip

# build with C runtime
assert-builder-ocarina.py \
	-f \
        -p \
	--aadlv2 \
	--keep-case \
	--interfaceView InterfaceView.aadl \
	--deploymentView DeploymentView.aadl \
	-o binary.linux.pohic \
	--subC a:a.zip \
	--subC b:b.zip