@@ -36,16 +36,16 @@ FROM emscripten/emsdk:3.1.19 AS base
36
36
LABEL version="12"
37
37
38
38
ADD emscripten.jam /usr/src
39
- RUN set -ex; \
40
- \
39
+ RUN set -ex && \
40
+ \
41
41
apt-get update && \
42
42
apt-get install lz4 --no-install-recommends && \
43
- \
44
- cd /usr/src; \
45
- git clone https://github.com/Z3Prover/z3.git -b z3-4.8.17 --depth 1 ; \
46
- cd z3; \
47
- mkdir build; \
48
- cd build; \
43
+ \
44
+ cd /usr/src && \
45
+ git clone https://github.com/Z3Prover/z3.git -b z3-4.8.17 --depth 1 && \
46
+ cd z3 && \
47
+ mkdir build && \
48
+ cd build && \
49
49
emcmake cmake \
50
50
-DCMAKE_INSTALL_PREFIX=$(em-config CACHE)/sysroot/usr \
51
51
-DCMAKE_BUILD_TYPE=MinSizeRel \
@@ -55,21 +55,22 @@ RUN set -ex; \
55
55
-DZ3_BUILD_EXECUTABLE=OFF \
56
56
-DZ3_SINGLE_THREADED=ON \
57
57
-DCMAKE_CXX_FLAGS="-s DISABLE_EXCEPTION_CATCHING=0" \
58
- ..; \
59
- make ; make install; \
60
- rm -r /usr/src/z3; \
61
- cd /usr/src; \
62
- \
63
- wget -q 'https://boostorg.jfrog.io/artifactory/main/release/1.75.0/source/boost_1_75_0.tar.bz2' -O boost.tar.bz2; \
64
- test "$(sha256sum boost.tar.bz2)" = "953db31e016db7bb207f11432bef7df100516eeb746843fa0486a222e3fd49cb boost.tar.bz2" ; \
65
- tar -xf boost.tar.bz2; \
66
- rm boost.tar.bz2; \
67
- cd boost_1_75_0; \
68
- mv ../emscripten.jam .; \
69
- ./bootstrap.sh; \
70
- echo "using emscripten : : em++ ;" >> project-config.jam ; \
58
+ .. && \
59
+ make && \
60
+ make install && \
61
+ rm -r /usr/src/z3 && \
62
+ cd /usr/src && \
63
+ \
64
+ wget -q 'https://boostorg.jfrog.io/artifactory/main/release/1.75.0/source/boost_1_75_0.tar.bz2' -O boost.tar.bz2 && \
65
+ test "$(sha256sum boost.tar.bz2)" = "953db31e016db7bb207f11432bef7df100516eeb746843fa0486a222e3fd49cb boost.tar.bz2" && \
66
+ tar -xf boost.tar.bz2 && \
67
+ rm boost.tar.bz2 && \
68
+ cd boost_1_75_0 && \
69
+ mv ../emscripten.jam . && \
70
+ ./bootstrap.sh && \
71
+ echo "using emscripten : : em++ ;" >> project-config.jam && \
71
72
./b2 toolset=emscripten link=static variant=release threading=single runtime-link=static \
72
73
--with-system --with-filesystem --with-test --with-program_options \
73
74
cxxflags="-s DISABLE_EXCEPTION_CATCHING=0 -Wno-unused-local-typedef -Wno-variadic-macros -Wno-c99-extensions -Wno-all" \
74
- --prefix=$(em-config CACHE)/sysroot/usr install; \
75
+ --prefix=$(em-config CACHE)/sysroot/usr install && \
75
76
rm -r /usr/src/boost_1_75_0
0 commit comments