File size: 114 Bytes
043e0ba
 
 
 
1
2
3
4
FROM gitpod/workspace-full
USER gitpod
RUN sudo apt-get update -q && \
    sudo apt-get install -yq libopenmpi-dev