diff --git a/Dockerfile b/Dockerfile index 849db7b..b885ec1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -16,6 +16,8 @@ RUN git clone --recurse-submodules --branch ${SEMGREP_VERSION} --depth=1 --singl WORKDIR /src/semgrep +ARG OPAMSOLVERTIMEOUT=600 + # note that we do not run 'make install-deps-for-semgrep-core' here because it # configures and builds ocaml-tree-sitter-core too; here we are # just concerned about installing external packages to maximize docker caching.