Use exports field in META generated by (deprecated_library_name)

Signed-off-by: Nicolás Ojeda Bär <[email protected]>

Author: nojb

src/dune_rules/gen_meta.ml

@@ -198,9 +198,10 @@ let gen ~(package : Package.t) ~add_directory_entry entries =
            pub_name, entries)
       | Deprecated_library_name
           { old_name = old_public_name, _; new_public_name = _, new_public_name; _ } ->
+        let deps = Lib_name.Set.singleton new_public_name in
         Memo.return
           ( Pub_name.of_lib_name (Public_lib.name old_public_name)
-          , version @ [ requires (Lib_name.Set.singleton new_public_name) ] ))
+          , version @ [ requires deps; exports deps ] ))
   in
   let pkgs =
     List.map pkgs ~f:(fun (pn, meta) ->

test/blackbox-tests/test-cases/deprecated-library-name/features.t

@@ -53,6 +53,7 @@ tests that the "old_public_name" field is evaluated lazily
 
   $ dune_cmd cat $PWD/_install/lib/a/META
   requires = "b"
+  exports = "b"
 
   $ dune_cmd cat $PWD/_install/lib/a/dune-package | sed "s/(lang dune .*)/(lang dune <version>)/"
   (lang dune <version>)
@@ -144,8 +145,10 @@ First the motivating case.
 
   $ dune_cmd cat d/_build/install/default/lib/menhirLib/META
   requires = "menhir.lib"
+  exports = "menhir.lib"
   $ dune_cmd cat d/_build/install/default/lib/menhirSdk/META
   requires = "menhir.sdk"
+  exports = "menhir.sdk"
 
   $ find d/_build/install/default -name 'dune-package' | sort
   d/_build/install/default/lib/dummy/dune-package
@@ -208,6 +211,7 @@ Checks that we can migrate top-level libraries across packages.
 
   $ dune_cmd cat d/_build/install/default/lib/top1/META
   requires = "q.bar"
+  exports = "q.bar"
 
 Check that we can do it when the name of the new library is the same as the
 old public name:
@@ -227,6 +231,7 @@ old public name:
 
   $ dune_cmd cat d/_build/install/default/lib/top2/META
   requires = "q.top2"
+  exports = "q.top2"
 
 We check that there is an error when there is an actual ambiguity:
 
@@ -304,6 +309,7 @@ Qualified, deprecated old_public_name:
   $ dune_cmd cat d/_build/install/default/lib/q/META
   package "foo" (
     requires = "p"
+    exports = "p"
   )
 
   $ find d/_build/install/default -name 'dune-package' | sort
@@ -345,9 +351,11 @@ Two libraries redirecting to the same library:
   $ dune_cmd cat d/_build/install/default/lib/q/META
   package "bar" (
     requires = "p"
+    exports = "p"
   )
   package "foo" (
     requires = "p"
+    exports = "p"
   )
 
   $ find d/_build/install/default -name 'dune-package' | sort