On Thu, Dec 19, 2024 at 02:05:55PM -0500, Thomas Frohwein wrote:
chrisz@, I would appreciate a look at this approach to handling OPAM dependencies during the build.
I like the general approach, because it avoids porting and maintaining the dependencies.
I would prefer the opamroot-helper target to be reproducible by fixing it to a defined commit on opam-repository. This could be accomlished by downloading a specific snapshot of opam-repository and pointing opam init to this snapshot.
Christopher
