diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:07:44 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:08:27 +0100 |
commit | b87a232668d9f9f3b32c2fceb60bc5f6ef46df22 (patch) | |
tree | 40bf3a8b94fbca24f9bf144e4ac9eee7f3c011d0 /misc/dist/docker/Dockerfile | |
parent | b19c9bd1983b8c72621595b7c22daade4ebf6625 (diff) |
Reorder the folders in tools to prepare moving tools/editor
- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`
The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.
Diffstat (limited to 'misc/dist/docker/Dockerfile')
-rw-r--r-- | misc/dist/docker/Dockerfile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/misc/dist/docker/Dockerfile b/misc/dist/docker/Dockerfile new file mode 100644 index 0000000000..428de9d1a7 --- /dev/null +++ b/misc/dist/docker/Dockerfile @@ -0,0 +1,13 @@ +FROM ubuntu:14.04 +MAINTAINER Mohammad Rezai, https://github.com/mrezai +WORKDIR /godot-dev +COPY scripts/install-android-tools /godot-dev/ +ENV DEBIAN_FRONTEND noninteractive +RUN dpkg --add-architecture i386 && \ + apt-get update && \ + apt-get upgrade -y && \ + apt-get install --no-install-recommends -y -q \ + build-essential gcc-multilib g++-multilib mingw32 mingw-w64 scons pkg-config libx11-dev libxcursor-dev \ + libasound2-dev libfreetype6-dev libgl1-mesa-dev libglu-dev libssl-dev libxinerama-dev libudev-dev \ + git wget openjdk-7-jdk libbcprov-java libc6:i386 libncurses5:i386 libstdc++6:i386 zlib1g:i386 lib32z1 + |