diff --git a/test/blackbox-tests/test-cases/pkg/gh10959.t b/test/blackbox-tests/test-cases/pkg/gh10959.t new file mode 100644 index 000000000000..04cbb13e5e43 --- /dev/null +++ b/test/blackbox-tests/test-cases/pkg/gh10959.t @@ -0,0 +1,39 @@ +Repro `dune exec --watch` crash with pkg management + + $ . ./helpers.sh + + $ cat >dune-project < (lang dune 3.13) + > (pin + > (url file://$PWD/_multiple) + > (package (name foo)) + > (package (name bar))) + > (package + > (name main) + > (depends foo bar)) + > EOF + + $ cat >dune < (executable + > (name x)) + > EOF + $ cat >x.ml < let () = print_endline "x" + > EOF + + $ mkdir dune.lock + $ cat >dune.lock/lock.dune < (lang package 0.1) + > (repositories + > (complete true)) + > EOF + + $ cat >dune.lock/test.pkg < (version 0.0.1) + > (build + > (system "echo building test")) + > EOF + + $ dune exec -w ./x.exe 2>&1 | grep -io "I must not crash" + I must not crash +