docker: prepackage ocrd-all-module-dir.json

pull/145/head
Robert Sachunsky 5 days ago
parent b5e99d96c9
commit d09e3969f8

@ -32,6 +32,8 @@ COPY . .
COPY ocrd-tool.json . COPY ocrd-tool.json .
# prepackage ocrd-tool.json as ocrd-all-tool.json # prepackage ocrd-tool.json as ocrd-all-tool.json
RUN ocrd ocrd-tool ocrd-tool.json dump-tools > $(dirname $(ocrd bashlib filename))/ocrd-all-tool.json RUN ocrd ocrd-tool ocrd-tool.json dump-tools > $(dirname $(ocrd bashlib filename))/ocrd-all-tool.json
# prepackage ocrd-all-module-dir.json
RUN ocrd ocrd-tool ocrd-tool.json dump-module-dirs > $(dirname $(ocrd bashlib filename))/ocrd-all-module-dir.json
RUN make install && rm -rf /build/dinglehopper RUN make install && rm -rf /build/dinglehopper
WORKDIR /data WORKDIR /data

Loading…
Cancel
Save