|
|
|
@ -1,7 +1,7 @@
|
|
|
|
|
FROM my_ocrd_workflow-core
|
|
|
|
|
|
|
|
|
|
ARG PIP_INSTALL="pip install --no-cache-dir"
|
|
|
|
|
ARG OCRD_FILEFORMAT_VERSION="0.2.0"
|
|
|
|
|
# XXX ARG OCRD_FILEFORMAT_VERSION="0.2.0"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
RUN apt-get update && \
|
|
|
|
@ -12,8 +12,11 @@ RUN apt-get update && \
|
|
|
|
|
unzip \
|
|
|
|
|
&& \
|
|
|
|
|
apt-get clean && rm -rf /var/lib/apt/lists/*
|
|
|
|
|
RUN git clone --depth 1 --branch v${OCRD_FILEFORMAT_VERSION} https://github.com/OCR-D/ocrd_fileformat.git && \
|
|
|
|
|
# XXX pr
|
|
|
|
|
RUN git clone --depth 1 https://github.com/OCR-D/ocrd_fileformat.git && \
|
|
|
|
|
cd ocrd_fileformat/ && \
|
|
|
|
|
git fetch origin pull/28/head:pr-28 && \
|
|
|
|
|
git checkout pr-28 && \
|
|
|
|
|
git submodule update --init && \
|
|
|
|
|
make install-fileformat install PREFIX=/usr/local && \
|
|
|
|
|
cd .. && rm -rf ocrd_fileformat/
|
|
|
|
|