Stream: Coq devs & plugin devs

Topic: ✔ difference between 8.4 and 8.5 docker images?


view this post on Zulip Jason Gross (Mar 20 2023 at 21:05):

Ah, switching the shell to /bin/bash tells me that the issue is the trailing ) in 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???

view this post on Zulip Paolo Giarrusso (Mar 20 2023 at 21:06):

what does /bin/sh point to in both images? Was /bin/sh pointing to dash?

view this post on Zulip Paolo Giarrusso (Mar 20 2023 at 21:08):

(probably obvious question)

view this post on Zulip Gaëtan Gilbert (Mar 20 2023 at 21:09):

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

view this post on Zulip Jason Gross (Mar 20 2023 at 21:13):

Ah, indeed, that patch fixes it, thank you!

view this post on Zulip Notification Bot (Mar 20 2023 at 21:14):

Jason Gross has marked this topic as resolved.


Last updated: Dec 01 2023 at 06:01 UTC