20 lines
519 B
Docker
20 lines
519 B
Docker
# Dockerfile for building Pyodide with a Pygmenets version from the current checkout.
|
|
# This is used by the `pyodide` tox environment (see /tox.ini).
|
|
FROM ghcr.io/pyodide/pyodide:0.20.0 AS build-stage
|
|
|
|
WORKDIR pyodide
|
|
|
|
# Copy new meta with path to local Pygments instead of pypi url.
|
|
COPY doc/pyodide/meta.yaml packages/Pygments/
|
|
|
|
COPY . /pygments
|
|
|
|
# Add Pygments to the Pyodide build.
|
|
ENV PYODIDE_PACKAGES=Pygments
|
|
|
|
# Build Pyodide.
|
|
RUN make
|
|
|
|
FROM scratch AS export-stage
|
|
|
|
COPY --from=build-stage /src/pyodide/build /
|