From 14874d86ed9cdceb34c953db79a2bf0a0bf1f748 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 d2bf4e079e21..56054f53831a 100644 --- a/otherlibs/site/src/plugins/dune +++ b/otherlibs/site/src/plugins/dune @@ -6,4 +6,4 @@ (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)) 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 =