pkgs/development/coq-modules/serapi/8.12.0+0.12.1.patch

   1 diff --git a/serapi/serapi_paths.ml b/serapi/serapi_paths.ml
   2 index b71fa60..0bec8c2 100644
   3 --- a/serapi/serapi_paths.ml
   4 +++ b/serapi/serapi_paths.ml
   5 @@ -24,8 +24,8 @@ let coq_loadpath_default ~implicit ~coq_path =
   6    let open Loadpath in
   7    let mk_path prefix = coq_path ^ "/" ^ prefix in
   8    (* let mk_ml = () in *)
   9 -  let mk_vo ~has_ml ~coq_path ~dir ~implicit =
  10 -    { unix_path = mk_path dir
  11 +  let mk_vo ~has_ml ~coq_path ~dir ~implicit ~absolute =
  12 +    { unix_path = if absolute then dir else mk_path dir
  13      ; coq_path
  14      ; has_ml
  15      ; recursive = true
  16 @@ -40,10 +40,10 @@ let coq_loadpath_default ~implicit ~coq_path =
  17      List.map fst plugins_dirs
  18    in
  19    ml_paths ,
  20 -  [ mk_vo ~has_ml:false ~coq_path:coq_root     ~implicit       ~dir:"theories"
  21 -  ; mk_vo ~has_ml:true  ~coq_path:default_root ~implicit:false ~dir:"user-contrib";
  22 +  [ mk_vo ~has_ml:false ~coq_path:coq_root     ~implicit       ~dir:"theories" ~absolute:false
  23 +  ; mk_vo ~has_ml:true  ~coq_path:default_root ~implicit:false ~dir:"user-contrib" ~absolute:false;
  24    ] @
  25 -  List.map (fun dir -> mk_vo ~has_ml:true ~coq_path:default_root ~implicit:false ~dir)
  26 +  List.map (fun dir -> mk_vo ~has_ml:true ~coq_path:default_root ~implicit:false ~dir ~absolute:true)
  27      Envars.coqpath
  28
  29  (******************************************************************************)