Unverified Commit c459597a authored by Vincent Laporte's avatar Vincent Laporte
Browse files

coqPackages_8_16.coq-lsp: fix for recent findlib

parent 8530d4c3

pkgs/development/coq-modules/coq-lsp/coq-loader.patch

0 → 100644
+11 −0
Original line number Diff line number Diff line 
--- a/coq/loader.ml	2024-11-14 17:54:36.562137810 +0100

+++ b/coq/loader.ml	2024-11-14 17:55:01.485154767 +0100

@@ -81,7 +81,7 @@

     Exninfo.iraise iexn

 

 let plugin_handler user_loader =

-  let loader = Option.default (Fl_dynload.load_packages ~debug:false) user_loader in

+  let loader = Option.default (Fl_dynload.load_packages ?loadfile:None ~debug:false) user_loader in

   let safe_loader = safe_loader loader in

   fun fl_pkg ->

     let _, fl_pkg = Mltop.PluginSpec.repr fl_pkg in

pkgs/development/coq-modules/coq-lsp/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -49,4 +49,6 @@ 
    else

     [ cmdliner ppx_deriving ppx_deriving_yojson ppx_import ppx_sexp_conv

       ppx_compare ppx_hash sexplib ]);



    patches = lib.optional (lib.versions.isEq "0.1.8" o.version) ./coq-loader.patch;

})