diff options
Diffstat (limited to 'tools/gitpod/gitpod.Dockerfile')
| -rw-r--r-- | tools/gitpod/gitpod.Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/gitpod/gitpod.Dockerfile b/tools/gitpod/gitpod.Dockerfile index 7791df191..7894be5bc 100644 --- a/tools/gitpod/gitpod.Dockerfile +++ b/tools/gitpod/gitpod.Dockerfile @@ -34,12 +34,13 @@ COPY --from=clone --chown=gitpod /tmp/numpy ${WORKSPACE} WORKDIR ${WORKSPACE} # Build numpy to populate the cache used by ccache +RUN git submodule update --init --depth=1 -- numpy/core/src/umath/svml RUN conda activate ${CONDA_ENV} && \ python setup.py build_ext --inplace && \ ccache -s # Gitpod will load the repository into /workspace/numpy. We remove the -# directoy from the image to prevent conflicts +# directory from the image to prevent conflicts RUN rm -rf ${WORKSPACE} # ----------------------------------------------------------------------------- |