Tweaks to docker scripts [skip ci] (#28)
This commit is contained in:
committed by
GitHub
parent
3151dd3aeb
commit
80e1a0d7e7
@@ -31,7 +31,7 @@ if [ ! -f build-release/${PACKAGE_BASE_TAG}.sh ]; then
|
||||
cp build-release/${DISTRO}-core/omnitrace-${VERSION}-Linux.sh build-release/${PACKAGE_BASE_TAG}.sh
|
||||
fi
|
||||
|
||||
apt-get install -y libopenmpi-dev openmpi-bin
|
||||
apt-get install -y libopenmpi-dev openmpi-bin libudev-dev
|
||||
|
||||
STANDARD_ARGS="${STANDARD_ARGS} -DOMNITRACE_USE_HIP=ON -DOMNITRACE_USE_MPI_HEADERS=ON -DDYNINST_USE_OpenMP=ON"
|
||||
|
||||
@@ -49,6 +49,8 @@ if [ ! -f build-release/${PACKAGE_BASE_TAG}-ROCm-${ROCM_VERSION}-PAPI.sh ]; then
|
||||
cp build-release/${DISTRO}-rocm-${ROCM_VERSION}-papi/omnitrace-${VERSION}-Linux.sh build-release/${PACKAGE_BASE_TAG}-ROCm-${ROCM_VERSION}-PAPI.sh
|
||||
fi
|
||||
|
||||
if [ "${MPI}" -lt 1 ]; then exit 0; fi
|
||||
|
||||
STANDARD_ARGS="${STANDARD_ARGS} -DOMNITRACE_USE_MPI=ON"
|
||||
|
||||
if [ ! -f build-release/${PACKAGE_BASE_TAG}-ROCm-${ROCM_VERSION}-PAPI-OpenMPI.sh ]; then
|
||||
|
||||
Reference in New Issue
Block a user