Revert "👷🏾‍♂️ Use ocrd_fileformat#28 for now"

This reverts commit 43cc303100.
master
Gerber, Mike 4 years ago
parent 9ae8e6b2e5
commit d700c568ac

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

Loading…
Cancel
Save