| 1 | FROM oilshell/soil-debian-12
|
| 2 |
|
| 3 | # No more apt packages, only Python 3 packages
|
| 4 |
|
| 5 | USER uke
|
| 6 |
|
| 7 | COPY --chown=uke \
|
| 8 | _build/wedge/binary/oils-for-unix.org/pkg/python3/3.10.4 \
|
| 9 | /wedge/oils-for-unix.org/pkg/python3/3.10.4
|
| 10 |
|
| 11 | # 2024-12: Added because we want to run the old MyPy (which is not compiled)
|
| 12 | #
|
| 13 | # TODO: we really need a way to crawl deps
|
| 14 |
|
| 15 | COPY stdlib/osh/bash-strict.sh /home/uke/tmp/stdlib/osh/bash-strict.sh
|
| 16 | COPY stdlib/osh/task-five.sh /home/uke/tmp/stdlib/osh/task-five.sh
|
| 17 | COPY stdlib/osh/byo-server.sh /home/uke/tmp/stdlib/osh/byo-server.sh
|
| 18 | COPY stdlib/osh/two.sh /home/uke/tmp/stdlib/osh/two.sh
|
| 19 |
|
| 20 | COPY test/tsv-lib.sh /home/uke/tmp/test/tsv-lib.sh
|
| 21 | COPY web/table/html.sh /home/uke/tmp/web/table/html.sh
|
| 22 |
|
| 23 | COPY build/dev-shell.sh /home/uke/tmp/build/dev-shell.sh
|
| 24 | COPY deps/from-apt.sh /home/uke/tmp/deps/from-apt.sh
|
| 25 | COPY build/deps.sh /home/uke/tmp/build/deps.sh
|
| 26 |
|
| 27 | COPY --chown=uke \
|
| 28 | _build/deps-source/mypy/mypy-0.780/ \
|
| 29 | /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
| 30 |
|
| 31 | RUN build/deps.sh install-py3-libs /home/uke/wedge/oils-for-unix.org/pkg/mypy/0.780/
|
| 32 |
|
| 33 | # Install MyPy with the python3 wedge
|
| 34 | RUN /wedge/oils-for-unix.org/pkg/python3/3.10.4/bin/python3 -m pip \
|
| 35 | install mypy
|
| 36 |
|
| 37 | # pea/TEST.sh uses the wedge as well
|
| 38 |
|
| 39 | CMD ["sh", "-c", "echo 'hello from oilshell/soil-pea'"]
|
| 40 |
|