opam: Add explicit --root=. in dune build

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

204 stars 51 forks source link

Closed Lysxia closed 3 years ago

Lysxia commented 3 years ago

In response to trouble in opam-coq-archive CI where dune somehow guessed the wrong root