Commit de8698fe authored by Andreas Werner's avatar Andreas Werner
Browse files

add run script

parent 2d876d87
......@@ -27,13 +27,8 @@ proof:
- docker
- generic
image: framac/frama-c:22.0
before_script:
- if [ ! -e "$http_proxy" ]; then echo -n 'Acquire::http::Proxy "' > /etc/apt/apt.conf; echo -n "$http_proxy" >> /etc/apt/apt.conf; echo '";' >> /etc/apt/apt.conf; fi; cat /etc/apt/apt.conf;
- apt-get update && apt-get install -y gcc-arm-none-eabi libnewlib-arm-none-eabi binutils-arm-none-eabi pandoc
script:
- make carFramaC_defconfig
- make silentoldconfig
- FRAMAC=1 make
- /bin/bash ./run_vali.sh
- cat ./.frama-c/src_controller_controller_task.log | grep "Coverage estimation"
- if (cat ./.frama-c/src_controller_controller_task/nonterm.log | grep "unreachable return"); then exit 1; fi
coverage: '/Coverage estimation = \d+.\d+%/'
......@@ -60,15 +55,8 @@ proof-23:
- docker
- generic
image: framac/frama-c:23.0
before_script:
- /usr/bin/curl -L https://developer.arm.com/-/media/Files/downloads/gnu-rm/10.3-2021.07/gcc-arm-none-eabi-10.3-2021.07-x86_64-linux.tar.bz2 -o download-gcc-arm-none-eabi.tar.bz2
- tar -xf download-gcc-arm-none-eabi.tar.bz2; mv gcc-arm-none-eabi-* gcc-arm-none-eabi;
- ls -la
- ls gcc-arm-none-eabi
script:
- PATH=$PATH:`pwd`/gcc-arm-none-eabi/bin make carFramaC_defconfig
- PATH=$PATH:`pwd`/gcc-arm-none-eabi/bin make silentoldconfig
- PATH=$PATH:`pwd`/gcc-arm-none-eabi/bin FRAMAC=1 make
- /bin/bash ./run_vali.sh
- cat ./.frama-c/src_controller_controller_task.log | grep "Coverage estimation"
- if (cat ./.frama-c/src_controller_controller_task/nonterm.log | grep "unreachable return"); then exit 1; fi
coverage: '/Coverage estimation = \d+.\d+%/'
......
#!/bin/bash
set -x
which gcc-arm-none-eabi &> /dev/null
if [ $? != 0 ]; then
if [ -e /etc/apt ]; then
if [ ! -e "$http_proxy" ]; then
echo -n 'Acquire::http::Proxy "' > /etc/apt/apt.conf
echo -n "$http_proxy" >> /etc/apt/apt.conf
echo '";' >> /etc/apt/apt.conf
fi
apt-get update && apt-get install -y gcc-arm-none-eabi libnewlib-arm-none-eabi binutils-arm-none-eabi pandoc
if [ $? != 0 ]; then
exit 1
fi
else
/usr/bin/curl -L https://developer.arm.com/-/media/Files/downloads/gnu-rm/10.3-2021.07/gcc-arm-none-eabi-10.3-2021.07-x86_64-linux.tar.bz2 -o download-gcc-arm-none-eabi.tar.bz2
if [ $? != 0 ]; then
exit 1
fi
tar -xf download-gcc-arm-none-eabi.tar.bz2; mv gcc-arm-none-eabi-* gcc-arm-none-eabi;
if [ $? != 0 ]; then
exit 1
fi
export PATH=$PATH:`pwd`/gcc-arm-none-eabi/bin
fi
fi
make carFramaC_defconfig
if [ $? != 0 ]; then
exit 1
fi
make silentoldconfig
if [ $? != 0 ]; then
exit 1
fi
FRAMAC=1 make
if [ $? != 0 ]; then
exit 1
fi
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment