blob: e0eda9e3b07d074d109ff28d283572968ad82644 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
FROM linaro/ci-#{ARCH}-tcwg-base-ubuntu:#{DISTRO}
RUN apt-get update \
&& DEBIAN_FRONTEND=noninteractive apt-get install -y \
software-properties-common \
&& apt-get clean \
&& rm -rf \
/var/lib/apt/lists/* \
/tmp/* \
/var/tmp/*
RUN apt-get update \
&& DEBIAN_FRONTEND=noninteractive apt-get install -y \
apt-file \
git-gui \
git-svn \
#if DISTRO_trusty
# if !ARCH_arm64
gnat \
# endif
#else
gnat-5 \
#endif
less \
locales \
libgmp-dev \
libmpc-dev \
libmpfr-dev \
mc \
screen \
stgit \
tmux \
unifdef \
&& apt-get clean \
&& rm -rf \
/var/lib/apt/lists/* \
/tmp/* \
/var/tmp/*
RUN locale-gen en_US.UTF-8 && update-locale LANG=en_US.UTF-8 \
&& apt-file update
# Create directories required for X11.
RUN mkdir -p /tmp/.X11-unix /tmp/.ICE-unix \
&& chmod 1777 /tmp/.X11-unix /tmp/.ICE-unix
COPY run.sh start.sh /
#if ARCH_amd64 || ARCH_arm64
ENTRYPOINT ["/run.sh"]
#else
ENTRYPOINT ["linux32", "/run.sh"]
#endif
CMD ["start.sh"]
|