From eae826e0496c36e1923b6065ef3377abc557c3a4 Mon Sep 17 00:00:00 2001 From: Konstantin Baierer Date: Tue, 23 Jan 2024 13:58:22 +0100 Subject: [PATCH] make install: update/install pip and wheel before --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index de0968fac1..b9a94cb4c7 100644 --- a/Makefile +++ b/Makefile @@ -126,6 +126,8 @@ build: # (Re)install the tool install: #build + # not stricttly necessary but a precaution against outdated python build tools, https://github.com/OCR-D/core/pull/1166 + $(PIP) install -U pip wheel $(PIP_INSTALL) . $(PIP_INSTALL_CONFIG_OPTION) @# workaround for shapely#1598 $(PIP) config set global.no-binary shapely