1 | FROM oilshell/soil-common
|
2 |
|
3 | # Copy again to prevent unsound caching
|
4 | COPY deps/from-apt.sh /home/uke/tmp/deps/from-apt.sh
|
5 |
|
6 | RUN --mount=type=cache,id=var-cache-apt,target=/var/cache/apt,sharing=locked \
|
7 | --mount=type=cache,id=var-lib-apt,target=/var/lib/apt,sharing=locked \
|
8 | du --si -s /var/cache/apt /var/lib/apt && \
|
9 | deps/from-apt.sh cpp-small
|
10 |
|
11 | # Build other dependencies as non-root uke
|
12 | USER uke
|
13 |
|
14 | # Pre-built wedges
|
15 |
|
16 | COPY --chown=uke \
|
17 | _build/wedge/binary/oils-for-unix.org/pkg/cmark/0.29.0 \
|
18 | /wedge/oils-for-unix.org/pkg/cmark/0.29.0
|
19 |
|
20 | COPY --chown=uke \
|
21 | _build/wedge/binary/oils-for-unix.org/pkg/re2c/3.0 \
|
22 | /wedge/oils-for-unix.org/pkg/re2c/3.0
|
23 |
|
24 | COPY --chown=uke \
|
25 | _build/wedge/binary/oils-for-unix.org/pkg/python3/3.10.4 \
|
26 | /wedge/oils-for-unix.org/pkg/python3/3.10.4
|
27 |
|
28 | # Copy _build/deps-source -> /home/uke/wedge for now.
|
29 | COPY --chown=uke \
|
30 | _build/deps-source/mypy/mypy-0.780/ \
|
31 | /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
32 |
|
33 | COPY devtools/run-task.sh /home/uke/tmp/devtools/run-task.sh
|
34 | COPY build/deps.sh /home/uke/tmp/build/deps.sh
|
35 | COPY build/dev-shell.sh /home/uke/tmp/build/dev-shell.sh
|
36 |
|
37 | # Hack for now: pass a different MyPy dir
|
38 | # Ideally py3-libs would be created a BUILD TIME with wedge-builder, not at
|
39 | # RUNTIME with uke!
|
40 | RUN build/deps.sh install-py3-libs /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
41 |
|
42 | CMD ["sh", "-c", "echo 'hello from oilshell/soil-cpp-small'"]
|