Skip to content

Commit dccc1c7

Browse files
authored
[CI] fix ci_gpu dockerfile (#11644)
1 parent e7f793d commit dccc1c7

File tree

2 files changed

+7
-2
lines changed

2 files changed

+7
-2
lines changed

docker/install/ubuntu_install_papi.sh

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,11 +23,15 @@ set -o pipefail
2323
apt-get update --fix-missing
2424

2525
# deps
26-
apt-get install -y linux-tools-common linux-tools-generic
26+
apt-get install -y linux-tools-common linux-tools-generic kmod
2727

2828
cd /
2929
git clone https://bitbucket.org/icl/papi.git
30-
cd papi/src
30+
# Pulling the latest version of this has broken the images before. Checkout the tagged version below for now.
31+
cd papi
32+
git checkout papi-6-0-0-1-t
33+
cd src
3134
export PAPI_CUDA_ROOT=/usr/local/cuda
35+
export PAPI_ROCM_ROOT=/opt/rocm
3236
./configure --with-components="$1"
3337
make -j $(nproc) && make install

docs/how_to/profile/papi.rst

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,7 @@ PAPI can either be installed using your package manager (``apt-get install libpa
3434
on Ubuntu), or from source here:
3535
https://bitbucket.org/icl/papi/src/master/.
3636

37+
Pulling the latest version of PAPI from source has caused build issues before. Therefore, it is recommended to checkout tagged version ``papi-6-0-0-1-t``.
3738

3839
Building TVM With PAPI
3940
----------------------

0 commit comments

Comments
 (0)