From e0ef1045b3cbb73e59bde05abb64ac1ce6335b57 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Wed, 26 Aug 2020 22:44:15 +0200 Subject: [PATCH] [serapi] Fix #221 "Support COQPATH" --- CHANGES.md | 1 + serapi/serapi_paths.ml | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 15fbe4c7..50ef32ec 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -24,6 +24,7 @@ * [general] SerAPI is now tested with OCaml 4.08 and 4.09 (#195 , @ejgallego) * [sertop ] Forward port sername from 0.7.1 (@ejgallego) * [serlib ] Fix #212 "Segfault on universes" (@ejgallego, reported by @cpitclaudel , #214) + * [serapi ] Fix #221 "Support COQPATH" (@ejgallego, reported by @cpitclaudel , #224) ## Version 0.11.0: diff --git a/serapi/serapi_paths.ml b/serapi/serapi_paths.ml index 072b9ea5..a9c50741 100644 --- a/serapi/serapi_paths.ml +++ b/serapi/serapi_paths.ml @@ -38,7 +38,9 @@ let coq_loadpath_default ~implicit ~coq_path = [mk_lp ~ml:AddRecML ~root:coq_root ~implicit ~dir:"plugins"; mk_lp ~ml:AddNoML ~root:coq_root ~implicit ~dir:"theories"; mk_lp ~ml:AddRecML ~root:default_root ~implicit:false ~dir:"user-contrib"; - ] + ] @ + List.map (fun dir -> mk_lp ~ml:AddRecML ~root:default_root ~implicit:false ~dir) + Envars.coqpath (******************************************************************************) (* Generate a module name given a file *)