From 2222ef64d50fb44abc2551ac5511061680b8601e Mon Sep 17 00:00:00 2001 From: kba Date: Wed, 17 Jul 2024 12:33:26 +0200 Subject: [PATCH] fix docker build --- Dockerfile | 3 ++- Makefile | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index fd0b944..ad6c781 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,7 +14,8 @@ ENV PREFIX=/usr/local RUN apt-get update && apt-get install -y openjdk-11-jdk-headless wget git gcc unzip WORKDIR /build -COPY ocr-fileformat ocr-fileformat/ +COPY .git .git/ +COPY repo/ocr-fileformat repo/ocr-fileformat/ COPY ocrd-fileformat-transform . COPY ocrd-tool.json . COPY Makefile . diff --git a/Makefile b/Makefile index 5c00ffd..7163056 100644 --- a/Makefile +++ b/Makefile @@ -34,7 +34,7 @@ help: # Install python packages deps: - $(PIP) install 'ocrd >= 2.58.1' # needed for ocrd CLI (and bashlib) + $(PIP) install 'ocrd >= 2.67.0' # needed for ocrd CLI (and bashlib) install-fileformat: make -C repo/ocr-fileformat PREFIX=$(PREFIX) vendor install