Stream: Dune devs & users

Topic: ✔ Error: path outside the workspace


view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 12:10):

I am playing around with (using coq 0.8) and I'm hitting errors like:

Error: path outside the workspace:
../../../../../../_opam/lib/coq/theories/ssr/ssreflect.vo from

Has anyone seen that before?

view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 12:24):

Ah actually the problem was on my side: a stupid coqdep wrapper that I should not be using anymore.

view this post on Zulip Notification Bot (Oct 16 2023 at 12:24):

Rodolphe Lepigre has marked this topic as resolved.


Last updated: May 25 2024 at 20:01 UTC