From ff8710efc1b6a1088444e77c40d006c746e3f906 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Thu, 21 Jul 2022 15:14:30 -0700 Subject: [PATCH] docker/Dockerfile: Use configure --disable-editable --- docker/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 32ea73394c6..269b4667ed9 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -168,7 +168,8 @@ ENV MAKEFLAGS $MAKEFLAGS ARG SAGE_NUM_THREADS="2" ENV SAGE_NUM_THREADS $SAGE_NUM_THREADS RUN make configure -RUN ./configure +# Old default before https://trac.sagemath.org/ticket/32406 +RUN ./configure --disable-editable RUN make build ################################################################################