[v8.20] Fix loader and some other bits after re-merge.

rocq-archive · Aug 29, 2024 · bf785c7 · bf785c7
1 parent bdbe8e9
commit bf785c7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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)