dune icon indicating copy to clipboard operation
dune copied to clipboard

pkg: add binary dev tools repo

Open gridbugs opened this issue 1 year ago • 1 comments
trafficstars

Adds a repo of binary dev tools to dune so that dev tools can be quickly installed without the need to download and compile their entire dependency cone on supported platforms. Currently ocamlfind and ocamllsp are included in the repo.

gridbugs avatar Oct 18 '24 06:10 gridbugs

This repository is not (yet?) usable outside of dev tools? If that's the case, we shouldn't make it visible in the workspace at all. Ideally, this repository should only be used when installing dev tools.

rgrinberg avatar Oct 19 '24 21:10 rgrinberg

Updated so that the binary repo is only used when solving dev tools.

gridbugs avatar Oct 21 '24 07:10 gridbugs