Ah, switching the shell to
/bin/bash tells me that the issue is the trailing
CAMLP4DEPS=$(shell LC_ALL=C sed -n -e 's@^(\*.*camlp4deps: "\(.*\)".*@\1@p' $(1) \#)). But why does this work fine in the 8.5 docker image???
what does /bin/sh point to in both images? Was /bin/sh pointing to dash?
(probably obvious question)
this has come up before https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs-.26-users/topic/Why.20Coq.208.2E5.2E3.20now.20FTBFS.3F
Ah, indeed, that patch fixes it, thank you!
Jason Gross has marked this topic as resolved.
Last updated: Dec 01 2023 at 06:01 UTC