From 48665e99e1655c9debe7be4337e3215ac52aacfa Mon Sep 17 00:00:00 2001 From: Arne Morten Kvarving Date: Thu, 18 Dec 2025 08:56:57 +0100 Subject: [PATCH] add static analysis --- jenkins/README.md | 3 +++ jenkins/build.sh | 19 +++++++++++-------- jenkins/static_analysis.sh | 31 +++++++++++++++++++++++++++++++ 3 files changed, 45 insertions(+), 8 deletions(-) create mode 100755 jenkins/static_analysis.sh diff --git a/jenkins/README.md b/jenkins/README.md index 88e2636..aadf015 100644 --- a/jenkins/README.md +++ b/jenkins/README.md @@ -12,3 +12,6 @@ To specify a given pull request to use for upstreams and downstreams, trigger line needs to contain <module-name>=<pull request number>. To build with downstreams the trigger line needs to contain 'with downstreams'. + +**static_analysis.sh**: +Run static analysis for opm-upscaling diff --git a/jenkins/build.sh b/jenkins/build.sh index 0ccfd49..c3efe6a 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -18,14 +18,17 @@ declare -a downstreams declare -A downstreamRev # Clone opm-common -mkdir -p $WORKSPACE/deps/opm-common -pushd $WORKSPACE/deps/opm-common -git init . -git remote add origin https://github.com/OPM/opm-common -git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build -test $? -eq 0 || exit 1 -git checkout branch_to_build -popd +if ! test -d $WORKSPACE/deps/opm-common +then + mkdir -p $WORKSPACE/deps/opm-common + pushd $WORKSPACE/deps/opm-common + git init . + git remote add origin https://github.com/OPM/opm-common + git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build + test $? -eq 0 || exit 1 + git checkout branch_to_build + popd +fi source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh diff --git a/jenkins/static_analysis.sh b/jenkins/static_analysis.sh new file mode 100755 index 0000000..902adca --- /dev/null +++ b/jenkins/static_analysis.sh @@ -0,0 +1,31 @@ +#!/bin/bash + +declare -a upstreams +upstreams=(opm-common + opm-grid) + +declare -A upstreamRev +upstreamRev[opm-common]=master +upstreamRev[opm-grid]=master + +if grep -q "opm-common=" <<< $ghprbCommentBody +then + upstreamRev[opm-common]=pull/`echo $ghprbCommentBody | sed -r 's/.*opm-common=([0-9]+).*/\1/g'`/merge +fi + +# Clone opm-common +mkdir -p $WORKSPACE/deps/opm-common +pushd $WORKSPACE/deps/opm-common +git init . +git remote add origin https://github.com/OPM/opm-common +git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build +test $? -eq 0 || exit 1 +git checkout branch_to_build +popd + +source ${TOOLCHAIN_DIR}/build-configurations-sca.sh +source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh + +$WORKSPACE/jenkins/build.sh + +run_static_analysis opm-upscaling