Mentions légales du service

Skip to content
Snippets Groups Projects
Commit c716a654 authored by PRUVOST Florent's avatar PRUVOST Florent
Browse files

Add a script for coverity job

parent 97131151
No related branches found
No related tags found
1 merge request!501Update docker environment, use shared runners, and plafrim for cuda/rocm
--- ---
coverity: coverity:
stage: analyze stage: analyze
tags: ["docker", "large"]
interruptible: true
rules: rules:
- if: ($CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH || $CI_COMMIT_BRANCH =~ /^ci-.*$/) && $CI_PIPELINE_SOURCE != "schedule" - if: ($CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH || $CI_COMMIT_BRANCH =~ /^ci-.*$/) && $CI_PIPELINE_SOURCE != "schedule"
- if: ($CI_PIPELINE_SOURCE == "merge_request_event" && $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME !~ /^notest-.*$/) - if: ($CI_PIPELINE_SOURCE == "merge_request_event" && $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME !~ /^notest-.*$/)
...@@ -12,17 +10,7 @@ coverity: ...@@ -12,17 +10,7 @@ coverity:
variables: variables:
VERSION: coverity VERSION: coverity
script: script:
- (mkdir -p build-$VERSION && cd build-$VERSION && - ./tools/coverity.sh
cmake .. -C ../cmake_modules/gitlab-ci-initial-cache.cmake
-DCHAMELEON_USE_CUDA=ON -DCHAMELEON_USE_MPI=ON &&
cov-build --dir ../cov-int make -j 4)
- tar czvf chameleon.tgz cov-int
- curl --form token=$COVERITY_TOKEN
--form email=florent.pruvost@inria.fr
--form file=@chameleon.tgz
--form version="`git rev-parse --short HEAD`"
--form description=""
https://scan.coverity.com/builds?project=Chameleon
artifacts: artifacts:
name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG" name: "$CI_JOB_NAME-$CI_COMMIT_REF_SLUG"
expire_in: 1 week expire_in: 1 week
......
#!/usr/bin/env bash
#
# @file coverity.sh
#
# @copyright 2024-2024 Bordeaux INP, CNRS (LaBRI UMR 5800), Inria,
# Univ. Bordeaux. All rights reserved.
#
# @version 1.3.0
# @author Florent Pruvost
# @date 2024-11-27
#
set -e
set -x
CHAMELEON_SRC_DIR=${CHAMELEON_SRC_DIR:-$PWD}
# install plotting dependencies in the testing docker image
CURRENTUSER=`whoami`
if [[ -f /.dockerenv && $CURRENTUSER == "gitlab" ]]; then
export PKG_CONFIG_PATH=/home/gitlab/install/starpu/lib/pkgconfig:$PKG_CONFIG_PATH
fi
cmake -B build-$VERSION -C cmake_modules/gitlab-ci-initial-cache.cmake -DCHAMELEON_USE_CUDA=OFF -DCHAMELEON_USE_MPI=ON
cov-build --dir cov-int/ cmake --build build-$VERSION -j4
tar czvf chameleon.tgz cov-int/
curl --form token=$COVERITY_TOKEN \
--form email=florent.pruvost@inria.fr \
--form file=@chameleon.tgz \
--form version="`git rev-parse --short HEAD`" \
--form description="" \
https://scan.coverity.com/builds?project=Chameleon
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment