This repository has been archived by the owner on Feb 20, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Dockerfile
116 lines (104 loc) · 4.13 KB
/
Dockerfile
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
FROM ubuntu:focal
MAINTAINER MPS CI Team <[email protected]>
RUN dpkg --add-architecture i386
ENV DEBIAN_FRONTEND noninteractive
RUN apt-get update && apt-get install -y \
ant \
build-essential \
bison \
ca-certificates \
cppcheck \
curl \
flex \
g++ \
gcc-8 \
gdb \
git \
lcov \
libgbm-dev \
libz-dev \
libwww-perl \
libxerces-c-dev \
libxss1 \
make \
nsis \
g++-multilib \
libstdc++6:i386 libgcc1:i386 zlib1g:i386 libncurses5:i386 \
openjdk-8-jdk=8u252-b09-1ubuntu1 openjdk-8-jre=8u252-b09-1ubuntu1 openjdk-8-jdk-headless=8u252-b09-1ubuntu1 openjdk-8-jre-headless=8u252-b09-1ubuntu1 \
patch \
subversion \
supervisor \
unzip \
wget \
xvfb \
zip \
ninja-build \
python3 \
python3-pip \
&& apt-get autoremove \
&& update-java-alternatives -s java-1.8.0-openjdk-amd64
RUN cd /tmp && \
wget --progress=dot:mega https://github.com/aktau/github-release/releases/download/v0.6.2/linux-amd64-github-release.tar.bz2 && \
tar -xjvf linux-amd64-github-release.tar.bz2 && \
mv bin/linux/amd64/github-release /usr/bin/ && \
rm -rf bin/
RUN \
cmake_major_minor=3.10 && \
cmake=cmake-${cmake_major_minor}.2-Linux-x86_64 && \
cd /tmp && \
wget --progress=dot:mega https://cmake.org/files/v${cmake_major_minor}/${cmake}.tar.gz && \
tar -xzvf ${cmake}.tar.gz && \
cp -R ${cmake}/bin ${cmake}/share /usr && \
rm -rf ${cmake} ${cmake}.tar.gz
RUN mkdir /buildAgent && cd /buildAgent && \
wget --progress=dot:mega https://build.mbeddr.com/update/buildAgent.zip && \
unzip buildAgent.zip && \
chmod +x /buildAgent/bin/agent.sh
ADD ./buildAgent.properties /buildAgent/conf/buildAgent.properties
ADD ./start.sh /start
RUN mkdir -p /root/.ssh /var/log/supervisor
ADD ./sshconfig /root/.ssh/config
COPY supervisord.conf /etc/supervisor/conf.d/supervisord.conf
RUN chmod +x /start
CMD ["/usr/bin/supervisord"]
COPY ./bin/* /usr/bin/
RUN \
z3_version=4.7.1 && \
cd /tmp && \
wget --progress=dot:mega -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${z3_version}/z3-${z3_version}-x64-ubuntu-16.04.zip && \
unzip z3.zip && \
mv z3-${z3_version}-x64-ubuntu-16.04/bin/z3 /usr/bin/ && \
mv z3-${z3_version}-x64-ubuntu-16.04/bin/libz3.so /usr/bin/ && \
mv z3-${z3_version}-x64-ubuntu-16.04/bin/libz3java.so /usr/bin/ && \
rm -rf /tmp/z3-${z3_version}-x64-ubuntu-16.04 z3.zip
RUN cd /tmp \
&& python3 -m pip install mkdocs \
&& python3 -m pip install mkdocs-cinder
# install JetBrains JDK 8 with functional javafx
## for headless gtk
ENV DISPLAY :0
## needed for javafx
RUN apt-get install --yes libgtk2.0-0 libxslt1.1
ENV JAVA_HOME /usr/lib/jvm/java-8-openjdk-amd64
## install JetBrains JDK 11
ENV JB_JAVA11_VERSION 11_0_14_1-b1751.46
RUN wget --progress=dot:giga -O /tmp/${JB_JAVA11_VERSION}.tar.gz https://artifacts.itemis.cloud/repository/maven-mps/com/jetbrains/jdk/jbrsdk/${JB_JAVA11_VERSION}/jbrsdk-${JB_JAVA11_VERSION}-linux-x64.tgz \
&& tar xzf /tmp/${JB_JAVA11_VERSION}.tar.gz --directory /tmp \
&& mv /tmp/jbrsdk /usr/lib/jvm/${JB_JAVA11_VERSION} \
&& rm /tmp/${JB_JAVA11_VERSION}.tar.gz
ENV JB_JAVA11_HOME /usr/lib/jvm/${JB_JAVA11_VERSION}
## echo "Installed JetBrains JDK 11 version `cat /usr/lib/jvm/${JB_JAVA11_VERSION}/release | grep JAVA_VERSION`" \
## echo "Run export JAVA_HOME=\"/usr/lib/jvm/${JB_JAVA11_VERSION}/\" PATH=\"/usr/lib/jvm/${JB_JAVA11_VERSION}/bin:$PATH\" to select this jdk"
## install JetBrains JDK 17
ENV JB_JAVA17_VERSION 17.0.3-b469.32
RUN wget --progress=dot:giga -O /tmp/${JB_JAVA17_VERSION}.tar.gz https://artifacts.itemis.cloud/repository/maven-mps/com/jetbrains/jdk/jbr/${JB_JAVA17_VERSION}/jbr-${JB_JAVA17_VERSION}-linux-x64.tgz \
&& tar xzf /tmp/${JB_JAVA17_VERSION}.tar.gz --directory /tmp \
&& mv /tmp/jbr-17.0.3-x64-b469 /usr/lib/jvm/${JB_JAVA17_VERSION} \
&& rm /tmp/${JB_JAVA17_VERSION}.tar.gz
ENV JB_JAVA17_HOME /usr/lib/jvm/${JB_JAVA17_VERSION}
## echo "Installed JetBrains JDK 17 version `cat /usr/lib/jvm/${JB_JAVA17_VERSION}/release | grep JAVA_VERSION`" \
## echo "Run export JAVA_HOME=\"/usr/lib/jvm/${JB_JAVA17_VERSION}/\" PATH=\"/usr/lib/jvm/${JB_JAVA17_VERSION}/bin:$PATH\" to select this jdk"
## configure locale to use UTF-8 encoding
ENV LANG C.UTF-8
ENV LC_ALL C.UTF-8
RUN chmod +x /usr/bin/*