pyrolise and dune

[gares]

I'm not 100% sure, but it looks like dune misbehaves on pyrolise
https://gitlab.com/coq/opam-coq-archive/-/jobs/589399959
It is not the first time I see this, and it is not just about elpi, but any dependency that runs dune has this error (for some reasons the dune binary is in a path scanned by dune for dune files, and given the binary is called dune as well it tries to read it as a text file...)

[palmskog]

Saw this issue now (cf. #1283). Are you sure this is pyrolyse only and not just Elpi on OCaml 4.09?

[clarus]

I had a similar error there: #1205 Very weird for me.

[gares]

I've tried locally with 4.09 and it works, even with the unlock base option.

[gares]

FTR, last time the problem was only in the "any" job (that runs on 4.09 but unlocks the base). So we speculate that option was the issue, we tested it locally, and merged anyway. This time it also fails on 4.09, and I noticed that it was on pyrolise, hence my theory.