Skip to content

Commit

Permalink
test: reproduce dune exec -w crash with pkg management
Browse files Browse the repository at this point in the history
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
  • Loading branch information
anmonteiro committed Sep 27, 2024
1 parent 17071ec commit deb6397
Showing 1 changed file with 42 additions and 0 deletions.
42 changes: 42 additions & 0 deletions test/blackbox-tests/test-cases/pkg/gh10959.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
Repro `dune exec --watch` crash with pkg management

$ . ./helpers.sh

$ mkrepo
$ add_mock_repo_if_needed


$ mkdir _multiple
$ cat >_multiple/dune-project <<EOF
> (lang dune 3.13)
> (package (name foo) (allow_empty))
> (package (name bar) (allow_empty))
> EOF

$ cat >dune-project <<EOF
> (lang dune 3.13)
> (pin
> (url file://$PWD/_multiple)
> (package (name foo))
> (package (name bar)))
> (package
> (name main)
> (depends foo bar))
> EOF

$ cat >dune <<EOF
> (executable
> (name x))
> EOF
$ cat >x.ml <<EOF
> let () = print_endline "x"
> EOF

$ dune pkg lock
Solution for dune.lock:
- bar.dev
- foo.dev

$ dune exec -w ./x.exe 2>&1 | grep -io "I must not crash"
I must not crash

0 comments on commit deb6397

Please sign in to comment.