Stream: Dune devs & users

Topic: Multi-package repo workflow

view this post on Zulip Li-yao (May 24 2022 at 22:06):

I have a repo containing two packages A and B, with B depending on A. I see two ways to set it up:

  1. In B's dune file, have (theories A). This makes B depend on the local build of A. Pro: dune build builds everything. Con: this doesn't allow B to depend on a global installation of A. The build of B has to build A locally.
  2. Don't have (theories A). Pro: I can build and install B separately, after installing A. Con: dune build doesn't work when A isn't already installed.

Can I get the best of both worlds?

view this post on Zulip Ali Caglayan (May 24 2022 at 22:28):

Yes soon hopefully. I am in fact working on theories being able to use externally defined installations of theories.

view this post on Zulip Rudi Grinberg (May 27 2022 at 18:34):

@Li-yao there's now a PR up if you want to help test

Last updated: Oct 12 2024 at 13:01 UTC