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 Oct 1, 2024
1 parent 451e5b4 commit dcc55f4
Showing 1 changed file with 39 additions and 0 deletions.
39 changes: 39 additions & 0 deletions test/blackbox-tests/test-cases/pkg/gh10959.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
Repro `dune exec --watch` crash with pkg management

$ . ./helpers.sh

$ 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

$ mkdir dune.lock
$ cat >dune.lock/lock.dune <<EOF
> (lang package 0.1)
> (repositories
> (complete true))
> EOF

$ cat >dune.lock/test.pkg <<EOF
> (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

0 comments on commit dcc55f4

Please sign in to comment.