Skip to content

Commit

Permalink
pkg: add repro for gh11375 (#11376)
Browse files Browse the repository at this point in the history
Signed-off-by: Stephen Sherratt <[email protected]>
  • Loading branch information
gridbugs authored Jan 24, 2025
1 parent e1c9bdc commit 2445e90
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions test/blackbox-tests/test-cases/pkg/e2e.t
Original file line number Diff line number Diff line change
Expand Up @@ -77,3 +77,16 @@ Lock, build, and run the executable in the project:
- foo.0.0.1
$ dune exec bar
Hello, World!

Rebuild the executable, this time in the release profile:
$ dune clean
$ dune exec --release bar
File "dune", line 3, characters 12-15:
3 | (libraries foo))
^^^
Error: Library "foo" not found.
-> required by _build/default/.bar.eobjs/byte/dune__exe__Bar.cmi
-> required by _build/default/.bar.eobjs/native/dune__exe__Bar.cmx
-> required by _build/default/bar.exe
-> required by _build/install/default/bin/bar
[1]

0 comments on commit 2445e90

Please sign in to comment.