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
No comments:
Post a Comment