From bf785c7936a84e27e0ff55518fca45934b4731ad Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Thu, 29 Aug 2024 23:32:27 +0200 Subject: [PATCH] [v8.20] Fix loader and some other bits after re-merge. --- coq/loader.ml | 2 +- tests/genarg/dune | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/coq/loader.ml b/coq/loader.ml index 134c9fb8..aec69a65 100644 --- a/coq/loader.ml +++ b/coq/loader.ml @@ -64,7 +64,7 @@ let map_serlib fl_pkg = if supported then let plugin_name = String.split_on_char '.' fl_pkg |> list_last in - let serlib_name = "coq-lsp.serlib." ^ plugin_name in + let serlib_name = "coq-serapi.serlib." ^ plugin_name in check_package_exists serlib_name else None diff --git a/tests/genarg/dune b/tests/genarg/dune index b102b89a..23b2e88f 100644 --- a/tests/genarg/dune +++ b/tests/genarg/dune @@ -12,7 +12,7 @@ (run chmod +w test_roundtrip) ; We insert the digest of the binaries to force a rebuild of the ; test cases if the binary has been modified. - (bash "for i in ../../sertop/sercomp.exe ../../vendor/coq-lsp/serlib/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip")))) + (bash "for i in ../../sertop/sercomp.exe ../../serlib_8_20/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip")))) (rule (alias runtest)