| 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 benchmarks
|
| 10 |
|
| 11 | # Build other dependencies as non-root uke
|
| 12 | USER uke
|
| 13 |
|
| 14 | # TODO: migrate uftrace
|
| 15 |
|
| 16 | #COPY --chown=uke \
|
| 17 | # _build/boxed/wedge/uftrace/0.13 \
|
| 18 | # /home/uke/oils.DEPS/wedge/uftrace/0.13
|
| 19 |
|
| 20 | COPY --chown=uke \
|
| 21 | _build/wedge/binary/oils-for-unix.org/pkg/uftrace/0.13 \
|
| 22 | /wedge/oils-for-unix.org/pkg/uftrace/0.13
|
| 23 |
|
| 24 | # Copy pre-built wedges
|
| 25 |
|
| 26 | COPY --chown=uke \
|
| 27 | _build/boxed/wedge/cmark/0.29.0 \
|
| 28 | /home/uke/oils.DEPS/wedge/cmark/0.29.0
|
| 29 |
|
| 30 | COPY --chown=uke \
|
| 31 | _build/boxed/wedge/re2c/3.0 \
|
| 32 | /home/uke/oils.DEPS/wedge/re2c/3.0
|
| 33 |
|
| 34 | COPY --chown=uke \
|
| 35 | _build/boxed/wedge/python3/3.10.4 \
|
| 36 | /home/uke/oils.DEPS/wedge/python3/3.10.4
|
| 37 |
|
| 38 | # Put python3 in PATH before running install-py3-libs
|
| 39 | RUN mkdir -p /home/uke/oils.DEPS/bin && \
|
| 40 | ln -s --relative /home/uke/oils.DEPS/wedge/re2c/3.0/bin/re2c /home/uke/oils.DEPS/bin && \
|
| 41 | ln -s --relative /home/uke/oils.DEPS/wedge/python3/3.10.4/bin/python3 /home/uke/oils.DEPS/bin
|
| 42 | # ln -s --relative /home/uke/oils.DEPS/wedge/uftrace/0.13/bin/uftrace /home/uke/oils.DEPS/bin
|
| 43 |
|
| 44 | # TODO:
|
| 45 | # - add osh-runtime testdata, from deps/source.medo
|
| 46 | # - not running ovm-build yet, but it also has testdata
|
| 47 |
|
| 48 | COPY --chown=uke \
|
| 49 | _build/boxed/wedge/R-libs/2023-04-18 \
|
| 50 | /home/uke/oils.DEPS/wedge/R-libs/2023-04-18
|
| 51 |
|
| 52 | COPY --chown=uke \
|
| 53 | _build/deps-source/mypy/mypy-0.780/ \
|
| 54 | /home/uke/oils.DEPS/wedge/mypy/0.780/
|
| 55 |
|
| 56 | # 2025-04: build/deps.sh install-py3-libs depends on this - need tree shaking
|
| 57 | COPY stdlib/osh/bash-strict.sh /home/uke/tmp/stdlib/osh/bash-strict.sh
|
| 58 | COPY stdlib/osh/task-five.sh /home/uke/tmp/stdlib/osh/task-five.sh
|
| 59 | COPY stdlib/osh/byo-server.sh /home/uke/tmp/stdlib/osh/byo-server.sh
|
| 60 | COPY stdlib/osh/two.sh /home/uke/tmp/stdlib/osh/two.sh
|
| 61 | COPY test/tsv-lib.sh /home/uke/tmp/test/tsv-lib.sh
|
| 62 | COPY web/table/html.sh /home/uke/tmp/web/table/html.sh
|
| 63 |
|
| 64 | COPY build/deps.sh /home/uke/tmp/build/deps.sh
|
| 65 | COPY build/dev-shell.sh /home/uke/tmp/build/dev-shell.sh
|
| 66 |
|
| 67 | RUN build/deps.sh install-py3-libs \
|
| 68 | /home/uke/oils.DEPS/wedge/mypy/0.780/ ../oils.DEPS/wedge
|
| 69 |
|
| 70 | CMD ["sh", "-c", "echo 'hello from oilshell/soil-benchmarks'"]
|