blob: 9e9f0370cc767f05c5cd94d2db98166925de8018 (
plain)
1
2
3
4
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
35
36
37
|
#!/bin/bash
before_install() {
if [ "$PVS_ANALYZE" = "yes" ]; then
sudo wget -q -O - https://files.viva64.com/etc/pubkey.txt | sudo apt-key add -
sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list
sudo apt-get update -qq
sudo apt-get install -qq pvs-studio
else
echo "not installing PVS-Studio"
fi
}
build_script() {
if [ "$PVS_ANALYZE" = "yes" ]; then
if [[ -z "${PVS_USERNAME}" ]]; then
echo '"PVS_USERNAME" environment variable not set'
exit 0
elif [[ -z "${PVS_KEY}" ]]; then
echo '"PVS_KEY" environment variable not set'
exit 0
else
pvs-studio-analyzer credentials -o "PVS-Studio.lic" "${PVS_USERNAME}" "${PVS_KEY}"
pvs-studio-analyzer trace -- make -j2
pvs-studio-analyzer analyze --quiet -j2 --lic-file "PVS-Studio.lic" --output-file "PVS-Studio-${CC}.log"
plog-converter -a "GA:1,2" -t tasklist -o "PVS-Studio-${CC}.tasks" "PVS-Studio-${CC}.log"
cat "PVS-Studio-${CC}.tasks"
fi
else
make -j2
fi
}
set -e
set -x
$1;
|
