1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Dockerfile for building Pyodide with a Pygmenets version from the current checkout.
# For an example of how to use this image, see the `pyodide` target in the documentation's Makefile.
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 /
|
