search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
121 stars 162 forks source link

pyrolise and dune #1286

Open gares opened 4 years ago

gares commented 4 years ago

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 commented 4 years ago

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

clarus commented 4 years ago

I had a similar error there: https://github.com/coq/opam-coq-archive/pull/1205 Very weird for me.

gares commented 4 years ago

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

gares commented 4 years ago

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.