tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / development / coq-modules / serapi / 8.12.0+0.12.1.patch
at devShellTools-shell 1.3 kB view raw
1diff --git a/serapi/serapi_paths.ml b/serapi/serapi_paths.ml 2index 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 (******************************************************************************)