2019-12-02 13:30:41 +01:00
|
|
|
ARG img_version
|
|
|
|
FROM godot-mono:${img_version}
|
|
|
|
|
2019-11-15 11:04:40 +01:00
|
|
|
ARG mono_version
|
2019-01-07 21:51:22 +01:00
|
|
|
|
2020-03-19 18:13:06 +01:00
|
|
|
RUN if [ -z "${mono_version}" ]; then printf "\n\nArgument mono_version is mandatory!\n\n"; exit 1; fi && \
|
|
|
|
dnf -y install --setopt=install_weak_deps=False \
|
2019-11-15 11:56:31 +01:00
|
|
|
java-openjdk yasm && \
|
2020-03-19 18:13:06 +01:00
|
|
|
git clone --progress https://github.com/emscripten-core/emsdk && \
|
2019-08-31 12:36:25 +02:00
|
|
|
cd emsdk && \
|
2019-12-03 08:22:50 +01:00
|
|
|
git checkout a5082b232617c762cb65832429f896c838df2483 && \
|
2019-11-15 11:04:40 +01:00
|
|
|
./emsdk install 1.38.47-upstream && \
|
|
|
|
./emsdk activate 1.38.47-upstream && \
|
2019-08-31 12:36:25 +02:00
|
|
|
echo "source /root/emsdk/emsdk_env.sh" >> /root/.bashrc
|
2019-01-07 21:51:22 +01:00
|
|
|
|
2020-03-19 18:13:06 +01:00
|
|
|
RUN cp -a /root/files/${mono_version} /root && \
|
|
|
|
cd /root/${mono_version} && \
|
|
|
|
patch -p1 < /root/files/patches/mono-pr16636-wasm-bugfix-and-update.diff && \
|
2020-04-06 12:17:56 +02:00
|
|
|
patch -p1 < /root/files/patches/mono-pr17094-bump-emscripten-1.38.46.patch && \
|
2020-03-19 18:13:06 +01:00
|
|
|
export MONO_SOURCE_ROOT=/root/${mono_version} && \
|
2020-04-06 08:44:57 +02:00
|
|
|
cd /root/${mono_version}/godot-mono-builds && \
|
2019-11-15 11:04:40 +01:00
|
|
|
python3 patch_emscripten.py && \
|
2020-04-07 11:32:37 +02:00
|
|
|
python3 wasm.py configure -j --target=runtime && \
|
|
|
|
python3 wasm.py make -j --target=runtime && \
|
2020-03-19 18:13:06 +01:00
|
|
|
cd /root/${mono_version} && git clean -fdx && NOCONFIGURE=1 ./autogen.sh && \
|
2020-04-06 08:44:57 +02:00
|
|
|
cd /root/${mono_version}/godot-mono-builds && \
|
2020-04-07 11:32:37 +02:00
|
|
|
python3 bcl.py make -j --product wasm && \
|
2019-12-03 12:47:51 +01:00
|
|
|
cd /root && \
|
2020-04-06 08:44:57 +02:00
|
|
|
rm -rf /root/${mono_version}
|
2019-11-15 11:04:40 +01:00
|
|
|
|
2019-11-15 11:22:07 +01:00
|
|
|
CMD /bin/bash
|