From c865ab2634c0151b0b9eb7819d5c33034e671a44 Mon Sep 17 00:00:00 2001 From: Ethan Glaser Date: Thu, 2 May 2024 17:10:10 -0700 Subject: [PATCH 1/3] CI: Valgrind --- .ci/env/valgrind_setup.sh | 1 + .ci/pipeline/ci.yml | 13 +++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 .ci/env/valgrind_setup.sh diff --git a/.ci/env/valgrind_setup.sh b/.ci/env/valgrind_setup.sh new file mode 100644 index 00000000000..de9e42368e3 --- /dev/null +++ b/.ci/env/valgrind_setup.sh @@ -0,0 +1 @@ +wget https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 \ No newline at end of file diff --git a/.ci/pipeline/ci.yml b/.ci/pipeline/ci.yml index 02fd1c90f87..df91b694396 100755 --- a/.ci/pipeline/ci.yml +++ b/.ci/pipeline/ci.yml @@ -558,6 +558,19 @@ jobs: fi displayName: 'bazel-cache-limit' +- job: LinuxValgrind + # dependsOn: LinuxBazel + timeoutInMinutes: 0 + pool: + vmImage: '$(VM_IMAGE)' + steps: + - script: | + which valgrind + source .ci/env/valgrind_setup.sh + displayName: 'install-valgrind' + + + - job: LinuxDaal4py dependsOn: LinuxMakeGNU_MKL timeoutInMinutes: 0 From bd0301534181217bc1a2c699df0445e051778e41 Mon Sep 17 00:00:00 2001 From: Ethan Glaser Date: Thu, 2 May 2024 17:21:18 -0700 Subject: [PATCH 2/3] check if valgrind present --- .ci/env/valgrind_setup.sh | 5 ++++- .ci/pipeline/ci.yml | 3 ++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/.ci/env/valgrind_setup.sh b/.ci/env/valgrind_setup.sh index de9e42368e3..cda4c77ff5c 100644 --- a/.ci/env/valgrind_setup.sh +++ b/.ci/env/valgrind_setup.sh @@ -1 +1,4 @@ -wget https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 \ No newline at end of file +wget https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 +tar -xjf valgrind-3.22.0.tar.bz2 +cd valgrind-3.22.0 +./configure --enable-only64bit \ No newline at end of file diff --git a/.ci/pipeline/ci.yml b/.ci/pipeline/ci.yml index df91b694396..0b7f099432a 100755 --- a/.ci/pipeline/ci.yml +++ b/.ci/pipeline/ci.yml @@ -565,7 +565,8 @@ jobs: vmImage: '$(VM_IMAGE)' steps: - script: | - which valgrind + valgrind_location=$(which valgrind) + echo "Valgrind location: $valgrind_location" source .ci/env/valgrind_setup.sh displayName: 'install-valgrind' From cba9b17b2f16ef7689023d87c3a5744e98e2da5c Mon Sep 17 00:00:00 2001 From: Ethan Glaser Date: Thu, 2 May 2024 17:23:16 -0700 Subject: [PATCH 3/3] install valgrind --- .ci/env/valgrind_setup.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.ci/env/valgrind_setup.sh b/.ci/env/valgrind_setup.sh index cda4c77ff5c..4341a2faa33 100644 --- a/.ci/env/valgrind_setup.sh +++ b/.ci/env/valgrind_setup.sh @@ -1,4 +1,7 @@ wget https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 tar -xjf valgrind-3.22.0.tar.bz2 cd valgrind-3.22.0 -./configure --enable-only64bit \ No newline at end of file +./configure --enable-only64bit +make +make install +valgrind ls -l \ No newline at end of file