diff --git a/definition-files/ubuntu/Singularity.ubuntu-18.04-openmpi-4.0.4 b/definition-files/ubuntu/Singularity.ubuntu-18.04-openmpi-4.0.4 index 2db2bc02ca1f4e16c914e054e0aa774d808d5611..c9af1e1afc9f1efef5e02081f98bce2bce13e7dd 100644 --- a/definition-files/ubuntu/Singularity.ubuntu-18.04-openmpi-4.0.4 +++ b/definition-files/ubuntu/Singularity.ubuntu-18.04-openmpi-4.0.4 @@ -111,7 +111,7 @@ From: mkandes/naked-singularity:ubuntu-18.04 wget "${OMPI_ROOT_URL}/v${OMPI_MAJOR}.${OMPI_MINOR}/openmpi-${OMPI_VERSION}.tar.gz" tar -xf "openmpi-${OMPI_VERSION}.tar.gz" cd "openmpi-${OMPI_VERSION}" - ./configure --prefix="${OMPI_INSTALL_DIR}" + ./configure --prefix="${OMPI_INSTALL_DIR}" --without-verbs make all install cd /tmp