1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-14 20:20:35 +00:00

Add FPGA code to Coverity Scan analysis

This commit is contained in:
Carles Fernandez 2019-03-01 10:37:01 +01:00
parent 78d6967d52
commit 1d174ea6d5
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -378,7 +378,7 @@ coverity-scan:
- export PATH=$PATH:$(pwd)/cov-analysis-linux64-2017.07/bin
- apt-get install -y --no-install-recommends build-essential cmake git libboost-dev libboost-date-time-dev libboost-system-dev libboost-filesystem-dev libboost-thread-dev libboost-chrono-dev libboost-serialization-dev liblog4cpp5-dev gnuradio-dev gr-osmosdr libpugixml-dev libpcap-dev libblas-dev liblapack-dev libarmadillo-dev libgflags-dev libgoogle-glog-dev libgnutls-openssl-dev python-mako python-six libmatio-dev libgtest-dev
- cd build
- cmake -DENABLE_OSMOSDR=ON -ENABLE_RAW_UDP=ON ..
- cmake -DENABLE_OSMOSDR=ON -DENABLE_RAW_UDP=ON -DENABLE_FPGA=ON ..
- cov-build --dir cov-int make -j2
- tar cvzf gnss-sdr.tgz cov-int
- curl --form token=$COVERITY_SCAN_TOKEN --form email=$COVERITY_SCAN_EMAIL --form file=@$(pwd)/gnss-sdr.tgz --form version="0.0.9-next" --form description=" " https://scan.coverity.com/builds?project=$COVERITY_SCAN_USER%2Fgnss-sdr --progress-bar | tee -a "log_upload.txt" ; test ${PIPESTATUS[0]} -eq 0
@ -634,25 +634,6 @@ docker-gnsssdr:
allow_failure: true
docker-gnsssdr-v0.0.10:
image: docker:18.05
stage: deploy
services:
- docker:dind
script:
- wget https://raw.githubusercontent.com/carlesfernandez/docker-gnsssdr/v0.0.10/Dockerfile
- docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- mkdir docker-build
- cd docker-build
- cp ../Dockerfile .
- docker build -t $DOCKER_HUB_USER/$DOCKER_HUB_REPO .
- docker tag $DOCKER_HUB_USER/$DOCKER_HUB_REPO:latest $DOCKER_HUB_USER/$DOCKER_HUB_REPO:0.0.10
- docker push $DOCKER_HUB_USER/$DOCKER_HUB_REPO:0.0.10
only:
- v0.0.10
allow_failure: true
docker-pybombs-gnsssdr:
image: docker:latest
stage: deploy
@ -683,25 +664,6 @@ docker-access18:
- docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- docker build -t $DOCKER_HUB_USER/$DOCKER_HUB_REPO .
- docker tag $DOCKER_HUB_USER/$DOCKER_HUB_REPO:latest $DOCKER_HUB_USER/$DOCKER_HUB_REPO:access18
- docker push $DOCKER_HUB_USER/$DOCKER_HUB_REPO:access18
docker-access18-0.0.10:
image: docker:18.05
stage: deploy
services:
- docker:dind
script:
- mkdir docker-build
- cd docker-build
- echo -e "FROM phusion/baseimage:0.11\nMAINTAINER carles.fernandez@cttc.es\nCMD [\"/sbin/my_init\"]\nWORKDIR /home/src\nRUN apt-get update && apt-get install -y --no-install-recommends build-essential cmake curl nano libarmadillo-dev libblas-dev libboost-chrono-dev libboost-dev libboost-date-time-dev libboost-filesystem-dev libboost-serialization-dev libboost-system-dev libboost-thread-dev libpugixml-dev libgflags-dev libgoogle-glog-dev googletest libgnutls-openssl-dev liblapack-dev liblog4cpp5-dev libmatio-dev git ca-certificates gnuradio-dev python-mako python-six texlive-latex-base texlive-fonts-recommended texlive-font-utils texlive-pictures epstool fig2dev octave pstoedit gnuplot-x11 && rm -rf /var/lib/apt/lists/*\nRUN git clone https://gitlab.com/gnss-sdr/gnss-sdr && cd gnss-sdr/build && git checkout v0.0.10 && cmake -DENABLE_PACKAGING=ON -DENABLE_INSTALL_TESTS=ON .. && NPROC=$(grep -c ^processor /proc/cpuinfo) && make -j$(($NPROC+1)) && make install && rm -rf /home/src\nWORKDIR /home\nRUN /usr/bin/volk_profile -v 8111\nRUN /usr/local/bin/volk_gnsssdr_profile\nRUN rm -rf /tmp/* /var/tmp/*\nCMD [\"bash\"]" > Dockerfile
- docker login -u "$DOCKER_HUB_USER" -p "$DOCKER_HUB_PASSWORD"
- docker build -t $DOCKER_HUB_USER/$DOCKER_HUB_REPO .
- docker tag $DOCKER_HUB_USER/$DOCKER_HUB_REPO:latest $DOCKER_HUB_USER/$DOCKER_HUB_REPO:access18-0.0.10
- docker push $DOCKER_HUB_USER/$DOCKER_HUB_REPO:access18-0.0.10
only:
- v0.0.10
allow_failure: true
# Stage "experiment"
@ -731,33 +693,3 @@ run-access18:
artifacts:
paths:
- access18/*.pdf
run-access18-0.0.10:
image: $DOCKER_HUB_USER/$DOCKER_HUB_REPO:access18-0.0.10
stage: experiment
script:
- apt-get update
# Grab the data set
- mkdir -p exp-access18/data
- cd exp-access18/data
- curl https://zenodo.org/record/1184601/files/L2_signal_samples.tar.xz --output L2_signal_samples.tar.xz
- tar xvfJ L2_signal_samples.tar.xz
- echo "3a04c1eeb970776bb77f5e3b7eaff2df L2_signal_samples.tar.xz" > data.md5
- md5sum -c data.md5
- cd ..
# Execute the experiment
- cp ../src/utils/reproducibility/ieee-access18/L2-access18.conf .
- cp ../src/utils/reproducibility/ieee-access18/plot_dump.m .
- cp -r ../src/utils/matlab/libs/geoFunctions .
- gnss-sdr --c=L2-access18.conf
- octave --no-gui plot_dump.m
- epspdf Figure2.eps Figure2.pdf
- cd ..
- mkdir access18
- cp exp-access18/*.pdf access18/
artifacts:
paths:
- access18/*.pdf
only:
- v0.0.10