diff options
Diffstat (limited to 'ci/Dockerfile.external_deps')
| -rw-r--r-- | ci/Dockerfile.external_deps | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/ci/Dockerfile.external_deps b/ci/Dockerfile.external_deps deleted file mode 100644 index 0d2a55dd19..0000000000 --- a/ci/Dockerfile.external_deps +++ /dev/null @@ -1,22 +0,0 @@ -FROM ubuntu:22.04 - -RUN apt-get update && \ - apt-get install -y software-properties-common && \ - add-apt-repository ppa:neovim-ppa/stable && \ - apt-get install -y ninja-build \ - gettext \ - cmake \ - unzip \ - curl \ - git \ - libluajit-5.1-dev \ - libmsgpack-dev \ - libtermkey-dev \ - libunibilium-dev \ - libuv1-dev \ - lua-filesystem \ - lua-lpeg \ - luajit \ - lua-luv-dev \ - libtree-sitter-dev \ - libvterm-dev |