fly316/PX4-Autopilot
7
0
Fork 0
mirror of https://gitee.com/mirrors_PX4/PX4-Autopilot.git synced 2026-10-18 23:53:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

build system fixes and improvements

Browse Source 
- deploy px4 metadata using target
 - clang scan-build upload output to s3
 - clang-tidy properly check headers
 - add cppcheck helper
 - force gcc color
This commit is contained in:
Daniel Agar
2017-06-02 19:35:18 -04:00
parent 723a6bf6ac
commit ac4a706da0
7 changed files with 57 additions and 95 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Tools/clang-tool.sh
-66
View File
@@ -1,66 +0,0 @@
#!/bin/bash
while getopts "b:t:" opt; do
case "${opt}" in
b)
builddir=$OPTARG
;;
t)
tool=$OPTARG
;;
esac
done
echo "builddir = ${builddir}, tool = ${tool}"
case "${builddir}" in
"build_posix_rpi_cross")
CXX_INC=$(cd ${RPI_TOOLCHAIN_DIR}/gcc-linaro-arm-linux-gnueabihf-raspbian/arm-linux-gnueabihf/include/c++/*; pwd)
EXTRA_ARG1=-I${CXX_INC}
EXTRA_ARG2=-I${CXX_INC}/arm-linux-gnueabihf
EXTRA_ARG3=-I${CXX_INC}/backward
extra_args="--extra-arg=-I${CXX_INC} --extra-arg=-I${CXX_INC}/arm-linux-gnueabihf --extra-arg=-I${CXX_INC}/backward"
;;
"build_posix_sitl_default")
;;
*)
echo "unknown build dir: ${builddir}"
;;
esac
COMPILE_DB=$(/bin/pwd)/${builddir}
if [[ ! -f ${COMPILE_DB}/compile_commands.json ]]; then
echo "compile_commands.json not found in ${COMPILE_DB}"
exit 1
fi
case "${tool}" in
"clang-check")
command=clang-check;
option=-analyze;
;;
"clang-tidy")
command=clang-tidy
#option=-fix
;;
esac
failed=0
while read line; do
file_line=$(echo $line | grep \"file\")
if [ $? -eq 0 ]; then
file_path=$(echo $file_line | awk '{ print $2; }' | sed 's/\"//g')
echo ${file_path}
${command} ${option} -p ${COMPILE_DB} ${extra_args} ${file_path}
if [ $? -ne 0 ]; then
failed=1
fi
echo
fi
done <${COMPILE_DB}/compile_commands.json
if [ $failed -ne 0 ]; then
exit 1
fi
Tools/s3put.sh
+2 -2
View File
@@ -11,9 +11,9 @@ filename=${1}
[ -z "$AWS_SECRET_ACCESS_KEY" ] && { echo "ERROR: Need to set AWS_SECRET_ACCESS_KEY"; exit 1; }
[ -z "$AWS_S3_BUCKET" ] && { echo "ERROR: Need to set AWS_S3_BUCKET"; exit 1; }
if [ -f ${filename} ]; then
if [ -e ${filename} ]; then
base_file_name=`basename $filename`
s3cmd --access_key=${AWS_ACCESS_KEY_ID} --secret_key=${AWS_SECRET_ACCESS_KEY} put ${filename} s3://${AWS_S3_BUCKET}/${base_file_name}
s3cmd --access_key=${AWS_ACCESS_KEY_ID} --secret_key=${AWS_SECRET_ACCESS_KEY} put -r ${filename} s3://${AWS_S3_BUCKET}/${base_file_name}
else
echo "ERROR: ${file} doesn't exist"
exit 1