Skip to content

Commit

Permalink
test: repro for #10675 (#10676)
Browse files Browse the repository at this point in the history
Signed-off-by: Etienne Millon <[email protected]>
  • Loading branch information
emillon authored Jun 28, 2024
1 parent d35fc98 commit f3319e2
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions test/blackbox-tests/test-cases/github10675.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
When several executables have the same name and different sets of foreign
stubs, dune should not crash. See #10675.

$ cat > dune << EOF
> (executable
> (enabled_if false)
> (name main))
>
> (executable
> (name main)
> (foreign_stubs
> (language c)
> (names startup)))
> EOF

$ cat > dune-project << EOF
> (lang dune 3.0)
> EOF

$ touch startup.c main.ml

$ dune build 2>&1 | head -n 3
Internal error, please report upstream including the contents of _build/log.
Description:
("Map.of_list_map_exn", { key = "main" })

0 comments on commit f3319e2

Please sign in to comment.