test: transitive deps and link time code gen (#6641)

reproduce the issue in PR #6633 link time code generation doesn't use the correct compilation closure for the build info module. It uses the compile closure but we should use the link closure Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Dec 6, 2022 · 54eeca4 · 54eeca4
1 parent fb085c0
commit 54eeca4
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/dune b/test/blackbox-tests/test-cases/dune
@@ -140,3 +140,8 @@
  (deps
   (package stdune)
   (package ppx_expect)))
+
+(cram
+ (applies_to link-time-transitive-deps)
+ (deps
+  (package dune-build-info)))
diff --git a/test/blackbox-tests/test-cases/link-time-transitive-deps.t b/test/blackbox-tests/test-cases/link-time-transitive-deps.t
@@ -0,0 +1,24 @@
+Link time code generation should work with implicit transitive deps
+
+  $ cat >dune-project <<EOF
+  > (lang dune 3.0)
+  > (implicit_transitive_deps false)
+  > EOF
+
+  $ touch foo.ml bar.ml
+  $ cat >dune <<EOF
+  > (library
+  >  (libraries dune-build-info)
+  >  (modules foo)
+  >  (name foo))
+  > (executable
+  >  (modules bar)
+  >  (libraries foo)
+  >  (name bar))
+  > EOF
+
+  $ dune build ./bar.exe
+  File ".bar.eobjs/build_info_data.ml-gen", line 1:
+  Error: Could not find the .cmi file for interface
+         .bar.eobjs/build_info_data.ml-gen.
+  [1]