1 | FROM oilshell/soil-debian-12
|
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-debian-12,target=/var/cache/apt,sharing=locked \
|
7 | --mount=type=cache,id=var-lib-apt-debian-12,target=/var/lib/apt,sharing=locked \
|
8 | du --si -s /var/cache/apt /var/lib/apt && \
|
9 | deps/from-apt.sh benchmarks2
|
10 |
|
11 | # Build other dependencies as non-root uke
|
12 | USER uke
|
13 |
|
14 | # Copy pre-built wedges
|
15 |
|
16 | # debian-10 should work?
|
17 | COPY --chown=uke \
|
18 | _build/wedge/binary/oils-for-unix.org/pkg/cmark/0.29.0 \
|
19 | /wedge/oils-for-unix.org/pkg/cmark/0.29.0
|
20 |
|
21 | # debian-12
|
22 | COPY --chown=uke \
|
23 | _build/wedge/binary/oils-for-unix.org/pkg/uftrace/0.13 \
|
24 | /wedge/oils-for-unix.org/pkg/uftrace/0.13
|
25 |
|
26 | COPY --chown=uke \
|
27 | _build/wedge/relative/oils-for-unix.org/pkg/R-libs/2023-04-18 \
|
28 | /home/uke/wedge/oils-for-unix.org/pkg/R-libs/2023-04-18
|
29 |
|
30 | CMD ["sh", "-c", "echo 'hello from oilshell/soil-benchmarks2'"]
|