upgrade openmpi version to v4.0.3
This commit is contained in:
parent
839b4eb486
commit
bd9d110ac6
|
@ -4,7 +4,7 @@ MAINTAINER leonwanghui <leon.wanghui@huawei.com>
|
|||
|
||||
# Set env
|
||||
ENV PYTHON_ROOT_PATH /usr/local/python-3.7.5
|
||||
ENV OMPI_ROOT_PATH /usr/local/openmpi-3.1.5
|
||||
ENV OMPI_ROOT_PATH /usr/local/openmpi-4.0.3
|
||||
ENV PATH ${OMPI_ROOT_PATH}/bin:/usr/local/bin:$PATH
|
||||
ENV LD_LIBRARY_PATH ${OMPI_ROOT_PATH}/lib:$LD_LIBRARY_PATH
|
||||
|
||||
|
@ -65,14 +65,14 @@ RUN mkdir -pv /root/.pip \
|
|||
&& echo "trusted-host=mirrors.aliyun.com" >> /root/.pip/pip.conf \
|
||||
&& echo "index-url=http://mirrors.aliyun.com/pypi/simple/" >> /root/.pip/pip.conf
|
||||
|
||||
# Install openmpi (v3.1.5)
|
||||
# Install openmpi (v4.0.3)
|
||||
RUN cd /tmp \
|
||||
&& wget https://download.open-mpi.org/release/open-mpi/v3.1/openmpi-3.1.5.tar.gz \
|
||||
&& tar -xvf openmpi-3.1.5.tar.gz \
|
||||
&& cd /tmp/openmpi-3.1.5 \
|
||||
&& wget https://download.open-mpi.org/release/open-mpi/v4.0/openmpi-4.0.3.tar.gz \
|
||||
&& tar -xvf openmpi-4.0.3.tar.gz \
|
||||
&& cd /tmp/openmpi-4.0.3 \
|
||||
&& mkdir -p ${OMPI_ROOT_PATH} \
|
||||
&& ./configure --prefix=${OMPI_ROOT_PATH} \
|
||||
&& make -j4 \
|
||||
&& make install -j4 \
|
||||
&& rm -rf /tmp/openmpi-3.1.5 \
|
||||
&& rm -f /tmp/openmpi-3.1.5.tar.gz
|
||||
&& rm -rf /tmp/openmpi-4.0.3 \
|
||||
&& rm -f /tmp/openmpi-4.0.3.tar.gz
|
||||
|
|
Loading…
Reference in New Issue