Raise a user error when `dune install` is run with package management enabled. - #14427

Merged

Alizter merged 6 commits into

Sudha247:dune-pkg-disable-dune-install

May 7, 2026

Commits on May 7, 2026

Fail `dune install` command when Dune package management is active
Sudha247
committed
8ca035c
update install-crash-lock-context test
Sudha247
committed
0482ec7
Use the logic in pkg_enabled to detect package management
Sudha247
committed
fd35790
fix pkg_common.mli
Sudha247
committed
79b78ac
fix command redirect
Sudha247
committed
382a8ee
address review comments
Sudha247
committed
836149c