58 lines
2.5 KiB
Docker
58 lines
2.5 KiB
Docker
FROM ubuntu:focal
|
|
|
|
RUN apt-get update
|
|
RUN apt-get --yes upgrade
|
|
|
|
#tzdata is a dependency, won't install otherwise
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
RUN apt-get --yes install ca-certificates clang cmake doxygen g++ gcc git graphviz iputils-ping lcov make msitools nano ninja-build pip python3 python3-simplejson python3-six qemu-system-arm rsync valgrind wget winbind
|
|
|
|
RUN python3 -m pip install sphinx breathe
|
|
|
|
RUN git clone https://github.com/catchorg/Catch2.git && \
|
|
cd Catch2 && \
|
|
git checkout v3.1.0 && \
|
|
cmake -Bbuild -H. -DBUILD_TESTING=OFF && \
|
|
cmake --build build/ --target install
|
|
|
|
RUN git clone https://github.com/ETLCPP/etl.git && \
|
|
cd etl && \
|
|
git checkout 20.28.0 && \
|
|
cmake -B build . && \
|
|
cmake --install build/
|
|
|
|
|
|
# install our own rtems build
|
|
RUN wget -qO- https://buggy.irs.uni-stuttgart.de/rtems_releases/rtems6-12.2.1.tar.bz2 | tar -xj -C /opt/
|
|
ENV PATH="$PATH:/opt/rtems/6/bin"
|
|
|
|
# install modern wine for MSVC, removing a conflicting file
|
|
RUN dpkg --add-architecture i386 && \
|
|
mkdir -pm755 /etc/apt/keyrings && \
|
|
wget -O /etc/apt/keyrings/winehq-archive.key https://dl.winehq.org/wine-builds/winehq.key && \
|
|
wget -NP /etc/apt/sources.list.d/ https://dl.winehq.org/wine-builds/ubuntu/dists/focal/winehq-focal.sources && \
|
|
apt-get update && \
|
|
apt-get --yes install winehq-stable
|
|
# silence wine
|
|
ENV WINEDEBUG=-all
|
|
|
|
|
|
# install MSVC using https://github.com/mstorsjo/msvc-wine
|
|
# see msvc-wine/LICENSE.txt
|
|
COPY msvc-wine/lowercase msvc-wine/fixinclude msvc-wine/install.sh msvc-wine/vsdownload.py ./
|
|
COPY msvc-wine/wrappers/* ./wrappers/
|
|
RUN PYTHONUNBUFFERED=1 ./vsdownload.py --accept-license --dest /opt/msvc && \
|
|
./install.sh /opt/msvc && \
|
|
rm lowercase fixinclude install.sh vsdownload.py && \
|
|
rm -rf wrappers
|
|
RUN wine64 wineboot --init && \
|
|
while pgrep wineserver > /dev/null; do sleep 1; done
|
|
|
|
|
|
#ssh needs a valid user to work
|
|
RUN addgroup -q --gid 117 jenkins && adduser -q --uid 114 --gid 117 jenkins
|
|
|
|
#add documentation server to known hosts
|
|
RUN echo "|1|/LzCV4BuTmTb2wKnD146l9fTKgQ=|NJJtVjvWbtRt8OYqFgcYRnMQyVw= ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNL8ssTonYtgiR/6RRlSIK9WU1ywOcJmxFTLcEblAwH7oifZzmYq3XRfwXrgfMpylEfMFYfCU8JRqtmi19xc21A=" >> /etc/ssh/ssh_known_hosts
|
|
RUN echo "|1|CcBvBc3EG03G+XM5rqRHs6gK/Gg=|oGeJQ+1I8NGI2THIkJsW92DpTzs= ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBNL8ssTonYtgiR/6RRlSIK9WU1ywOcJmxFTLcEblAwH7oifZzmYq3XRfwXrgfMpylEfMFYfCU8JRqtmi19xc21A=" >> /etc/ssh/ssh_known_hosts
|