| 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 dev-minimal
|
| 10 |
|
| 11 | USER uke
|
| 12 |
|
| 13 | # Our own python3
|
| 14 | COPY --chown=uke \
|
| 15 | _build/wedge/binary/oils-for-unix.org/pkg/python3/3.10.4 \
|
| 16 | /wedge/oils-for-unix.org/pkg/python3/3.10.4
|
| 17 |
|
| 18 | # Copy _build/deps-source -> /home/uke/wedge for now.
|
| 19 | COPY --chown=uke \
|
| 20 | _build/deps-source/pyflakes/pyflakes-2.4.0/ \
|
| 21 | /home/uke/wedge/oils-for-unix.org/pkg/pyflakes/2.4.0/
|
| 22 |
|
| 23 | # So we can run python3 -m mypy. (Not just for mycpp)
|
| 24 | COPY --chown=uke \
|
| 25 | _build/deps-source/mypy/mypy-0.780/ \
|
| 26 | /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
| 27 |
|
| 28 | COPY devtools/run-task.sh /home/uke/tmp/devtools/run-task.sh
|
| 29 | COPY build/deps.sh /home/uke/tmp/build/deps.sh
|
| 30 | COPY build/dev-shell.sh /home/uke/tmp/build/dev-shell.sh
|
| 31 |
|
| 32 | # Hack for now: pass a different MyPy dir
|
| 33 | # Ideally py3-libs would be created a BUILD TIME with wedge-builder, not at
|
| 34 | # RUNTIME with uke!
|
| 35 | RUN build/deps.sh install-py3-libs /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
| 36 |
|
| 37 | CMD ["sh", "-c", "echo 'hello from oilshell/soil-dev-minimal'"]
|