I have a repo containing two packages
B depending on
A. I see two ways to set it up:
(theories A). This makes
Bdepend on the local build of
dune buildbuilds everything. Con: this doesn't allow
Bto depend on a global installation of
A. The build of
Bhas to build
(theories A). Pro: I can build and install
Bseparately, after installing
dune builddoesn't work when
Aisn't already installed.
Can I get the best of both worlds?
Yes soon hopefully. I am in fact working on theories being able to use externally defined installations of theories.
@Li-yao there's now a PR up if you want to help test
Last updated: Jun 04 2023 at 23:30 UTC