#!/bin/bash
/etc/init.d/postgresql start 
source ~/.bashrc
set -e
export GIT_SSL_NO_VERIFY=true 
export TASTE_IN_DOCKER=1 
git fetch
git checkout -f "${CI_COMMIT_BRANCH}" 
./Update-TASTE.sh
#echo y | ./add-ons/install-msp430-gcc.sh  || exit 1
#./add-ons/install-gnat2020-for-arm.sh  || exit 1
#echo y | ./add-ons/install-adac-hybrid-msp430.sh  || exit 1
#echo y | ./add-ons/install-freertos.sh  || exit 1
#source ~/.bashrc.taste
cd kazoo 
export PATH=$HOME/tool-inst/bin:$HOME/.local/bin:$HOME/tool-inst/share/asn1scc:$PATH
export PATH=$HOME/tool-inst/share/kazoo:$PATH
export PATH=/opt/rtems-5.1-2019.07.25/bin:$PATH
export OCARINA_PATH=$HOME/tool-inst
export LD_LIBRARY_PATH=$HOME/tool-inst/lib:$LD_LIBRARY_PATH
make test || exit 1
cd ..
cd dmt
git log | head
./configure
pip3 install --upgrade .
pip3 uninstall --yes typing 
PATH=$PATH:/asn1scc/ LANG=C LC_ALL=C make
cd ..
cd opengeode
make test-ada || exit 1