32
32
# apparently this currently breaks due to conflicting compatibility headers.
33
33
# Using $(em-config CACHE)/sysroot/usr seems to work, though, and still has cmake find the
34
34
# dependencies automatically.
35
- FROM emscripten/emsdk:2.0.33 AS base
36
- LABEL version="11 "
35
+ FROM emscripten/emsdk:3.1.19 AS base
36
+ LABEL version="12 "
37
37
38
38
ADD emscripten.jam /usr/src
39
- RUN set -ex; \
40
- cd /usr/src; \
41
- git clone https://github.com/Z3Prover/z3.git -b z3-4.8.17 --depth 1 ; \
42
- cd z3; \
43
- mkdir build; \
44
- cd build; \
39
+ RUN set -ex && \
40
+ \
41
+ apt-get update && \
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 && \
45
49
emcmake cmake \
46
50
-DCMAKE_INSTALL_PREFIX=$(em-config CACHE)/sysroot/usr \
47
51
-DCMAKE_BUILD_TYPE=MinSizeRel \
@@ -51,21 +55,22 @@ RUN set -ex; \
51
55
-DZ3_BUILD_EXECUTABLE=OFF \
52
56
-DZ3_SINGLE_THREADED=ON \
53
57
-DCMAKE_CXX_FLAGS="-s DISABLE_EXCEPTION_CATCHING=0" \
54
- ..; \
55
- make ; make install; \
56
- rm -r /usr/src/z3; \
57
- cd /usr/src; \
58
-
59
- wget -q 'https://boostorg.jfrog.io/artifactory/main/release/1.75.0/source/boost_1_75_0.tar.bz2' -O boost.tar.bz2; \
60
- test "$(sha256sum boost.tar.bz2)" = "953db31e016db7bb207f11432bef7df100516eeb746843fa0486a222e3fd49cb boost.tar.bz2" ; \
61
- tar -xf boost.tar.bz2; \
62
- rm boost.tar.bz2; \
63
- cd boost_1_75_0; \
64
- mv ../emscripten.jam .; \
65
- ./bootstrap.sh; \
66
- 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 && \
67
72
./b2 toolset=emscripten link=static variant=release threading=single runtime-link=static \
68
73
--with-system --with-filesystem --with-test --with-program_options \
69
74
cxxflags="-s DISABLE_EXCEPTION_CATCHING=0 -Wno-unused-local-typedef -Wno-variadic-macros -Wno-c99-extensions -Wno-all" \
70
- --prefix=$(em-config CACHE)/sysroot/usr install; \
75
+ --prefix=$(em-config CACHE)/sysroot/usr install && \
71
76
rm -r /usr/src/boost_1_75_0
0 commit comments