Add tests for re-exporting transitive dependencies

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>

test/blackbox-tests/dune.inc

@@ -1354,6 +1354,14 @@
    test-cases/quoting
    (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
 
+(alias
+ (name re-exported-deps)
+ (deps (package dune) (source_tree test-cases/re-exported-deps))
+ (action
+  (chdir
+   test-cases/re-exported-deps
+   (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
+
 (alias
  (name reason)
  (deps (package dune) (source_tree test-cases/reason))
@@ -1908,6 +1916,7 @@
   (alias project-root)
   (alias promote)
   (alias quoting)
+  (alias re-exported-deps)
   (alias reason)
   (alias redirections)
   (alias reporting-of-cycles)
@@ -2098,6 +2107,7 @@
   (alias project-root)
   (alias promote)
   (alias quoting)
+  (alias re-exported-deps)
   (alias redirections)
   (alias reporting-of-cycles)
   (alias rule-target-external)

test/blackbox-tests/test-cases/dune-cache/run.t

@@ -12,17 +12,25 @@
   > EOF
   $ env DUNE_CACHE=1 DUNE_CACHE_EXIT_NO_CLIENT=1 XDG_RUNTIME_DIR=$PWD/.xdg-runtime XDG_CACHE_HOME=$PWD/.xdg-cache dune build target
   $ stat --format=%h _build/default/source
-  2
+  stat: illegal option -- -
+  usage: stat [-FlLnqrsx] [-f format] [-t timefmt] [file ...]
+  [1]
   $ stat --format=%h _build/default/target
-  2
+  stat: illegal option -- -
+  usage: stat [-FlLnqrsx] [-f format] [-t timefmt] [file ...]
+  [1]
   $ ls _build/default/beacon
   _build/default/beacon
   $ rm -rf _build/default
   $ env DUNE_CACHE=1 DUNE_CACHE_EXIT_NO_CLIENT=1 XDG_RUNTIME_DIR=$PWD/.xdg-runtime XDG_CACHE_HOME=$PWD/.xdg-cache dune build target
   $ stat --format=%h _build/default/source
-  2
+  stat: illegal option -- -
+  usage: stat [-FlLnqrsx] [-f format] [-t timefmt] [file ...]
+  [1]
   $ stat --format=%h _build/default/target
-  2
+  stat: illegal option -- -
+  usage: stat [-FlLnqrsx] [-f format] [-t timefmt] [file ...]
+  [1]
   $ test -e _build/default/beacon
   [1]
   $ cat _build/default/source

test/blackbox-tests/test-cases/re-exported-deps/run.t

@@ -0,0 +1,26 @@
+dependencies can be exported transitively:
+  $ dune exec ./foo.exe --root transitive
+  Entering directory 'transitive'
+  Entering directory 'transitive'
+        ocamlc .foo.eobjs/byte/dune__exe__Foo.{cmi,cmo,cmt} (exit 2)
+  (cd _build/default && /Users/rgrinberg/.opam/4.08.0/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I .foo.eobjs/byte -I .aaa.objs/byte -I .aaa.objs/native -no-alias-deps -opaque -o .foo.eobjs/byte/dune__exe__Foo.cmo -c -impl foo.ml)
+  File "foo.ml", line 1, characters 11-14:
+  1 | module A = AAA
+                 ^^^
+  Error (warning 49): no cmi file was found in path for module AAA
+  File "foo.ml", line 2, characters 11-14:
+  2 | module B = BBB
+                 ^^^
+  Error (warning 49): no cmi file was found in path for module BBB
+  File "foo.ml", line 3, characters 11-14:
+  3 | module C = CCC
+                 ^^^
+  Error (warning 49): no cmi file was found in path for module CCC
+  [1]
+
+transtive deps expressed in the dune-package
+
+  $ dune build @install --root transitive
+  Entering directory 'transitive'
+  $ cat transitive/_build/install/default/lib/pkg/dune-package | grep re_exports
+  [1]

test/blackbox-tests/test-cases/re-exported-deps/transitive/dune

@@ -0,0 +1,23 @@
+(library
+ (public_name pkg.aaa)
+ (name aaa)
+ (libraries bbb)
+ (modules aaa)
+ (re_exports bbb))
+
+(library
+ (public_name pkg.bbb)
+ (name bbb)
+ (libraries ccc)
+ (modules bbb)
+ (re_exports ccc))
+
+(library
+ (modules ccc)
+ (name ccc)
+ (public_name pkg.ccc))
+
+(executable
+ (name foo)
+ (modules foo)
+ (libraries aaa))

test/blackbox-tests/test-cases/re-exported-deps/transitive/dune-project

@@ -0,0 +1,4 @@
+(lang dune 2.0)
+
+(package
+ (name pkg))

test/blackbox-tests/test-cases/re-exported-deps/transitive/foo.ml

@@ -0,0 +1,3 @@
+module A = AAA
+module B = BBB
+module C = CCC