From c62fce66d2aaf0e28c9d25f49076ea1a3742d327 Mon Sep 17 00:00:00 2001 From: ivg Date: Thu, 18 Aug 2022 17:17:46 -0400 Subject: [PATCH] renames the linker library to something more verbose Signed-off-by: ivg --- otherlibs/site/src/plugins/dune | 2 +- otherlibs/site/src/plugins/linker/dune | 2 +- otherlibs/site/src/plugins/plugins.ml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/otherlibs/site/src/plugins/dune b/otherlibs/site/src/plugins/dune index cbaf5cd3efac..7bed1ce9cbd6 100644 --- a/otherlibs/site/src/plugins/dune +++ b/otherlibs/site/src/plugins/dune @@ -6,6 +6,6 @@ (dune_site (plugins) (data_module dune_site_plugins_data))) - (libraries dune-site dune-private-libs.meta_parser linker) + (libraries dune-site dune-private-libs.meta_parser dune-site.linker) (instrumentation (backend bisect_ppx))) diff --git a/otherlibs/site/src/plugins/linker/dune b/otherlibs/site/src/plugins/linker/dune index ce852a1e35b5..acff16bb2002 100644 --- a/otherlibs/site/src/plugins/linker/dune +++ b/otherlibs/site/src/plugins/linker/dune @@ -1,5 +1,5 @@ (library - (name linker) + (name dune_site_backend) (public_name dune-site.linker) (virtual_modules linker) (default_implementation dune-site.dynlink)) diff --git a/otherlibs/site/src/plugins/plugins.ml b/otherlibs/site/src/plugins/plugins.ml index 7d848890f7bd..2fd2475b9554 100644 --- a/otherlibs/site/src/plugins/plugins.ml +++ b/otherlibs/site/src/plugins/plugins.ml @@ -256,7 +256,7 @@ let load_gen ~load_requires dirs name = List.iter (fun p -> let file = Filename.concat directory p in - Linker.load file) + Dune_site_backend.Linker.load file) plugins) let rec load_requires name =