👷🏾‍♂️ Fix ocrd_fileformat (GH-34)

pull/38/head
Gerber, Mike 4 years ago
parent 12af0b01fa
commit 16d8606484

@ -6,14 +6,17 @@ ARG OCRD_FILEFORMAT_VERSION="0.1.1"
RUN apt-get update && \ RUN apt-get update && \
apt-get install -y \ apt-get install -y \
git \
openjdk-11-jdk-headless \ openjdk-11-jdk-headless \
wget \
unzip \
&& \ && \
apt-get clean && rm -rf /var/lib/apt/lists/* apt-get clean && rm -rf /var/lib/apt/lists/*
RUN curl -sSL --retry 3 -O https://github.com/OCR-D/ocrd_fileformat/archive/v${OCRD_FILEFORMAT_VERSION}.tar.gz && \ RUN git clone --depth 1 --branch v${OCRD_FILEFORMAT_VERSION} https://github.com/OCR-D/ocrd_fileformat.git && \
tar xvzf v${OCRD_FILEFORMAT_VERSION}.tar.gz && \ cd ocrd_fileformat/ && \
cd ocrd_fileformat-${OCRD_FILEFORMAT_VERSION}/ && \ git submodule update --init && \
make install-fileformat install PREFIX=/usr/local && \ make install-fileformat install PREFIX=/usr/local && \
rm -rf v${OCRD_FILEFORMAT_VERSION}.tar.gz ocrd_fileformat-${OCRD_FILEFORMAT_VERSION}/ cd .. && rm -rf ocrd_fileformat/
# Default command # Default command

Loading…
Cancel
Save