diff options
| author | Enrico Tassi | 2020-12-04 11:27:15 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-04 11:27:50 +0100 |
| commit | 4c4715bf3224f6750e8d63005ff0c554015db45e (patch) | |
| tree | 2d0259b7085fe4f452647cf0532a5e88a30f3762 /tools | |
| parent | f720f0dddaf28505fde192e5912ffa63817d3122 (diff) | |
[coq_makefile] use Envars for COQMF_WINDRIVE
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 0cbfd46e80..07550b67e3 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -216,7 +216,7 @@ let generate_conf_coq_config oc = section oc "Coq configuration."; let src_dirs = Coq_config.all_src_dirs in Envars.print_config ~prefix_var_name:"COQMF_" oc src_dirs; - fprintf oc "COQMF_WINDRIVE=%s\n" (windrive Coq_config.coqlib) + fprintf oc "COQMF_WINDRIVE=%s\n" (windrive (Envars.coqlib())) ;; let generate_conf_files oc |