Difference between dune bootstrap and dune package

olafhering March 13, 2022, 9:15am 1

What is the difference between the dune3 binaries produced by make dune.exe vs. make release?

Do they differ in behavior or supported features?

Topic		Replies	Views
[ANN] Dune 1.3.0 Community announce , jbuilder , dune	0	1219	September 25, 2018
Why does dune insist on .exe extension? Learning dune	8	3054	July 15, 2019
Sanity check: omake vs dune progress counters report different number of things to compile Ecosystem dune , omake	7	943	December 21, 2019
[ANN] Dune 1.6.3 Ecosystem announce , dune	0	1057	January 9, 2019
Dune builds in pkgsrs: variables, workspaces, and install dirs Ecosystem opam , build , dune	5	1236	February 15, 2021