diff options
| author | Maxime Dénès | 2017-07-19 15:31:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-19 15:31:29 +0200 |
| commit | e273ff57ef82e81ab6b6309584a7d496ae4659c1 (patch) | |
| tree | 19dc62a48763943e7de049ee3aab515503038339 /tools | |
| parent | 28b3bfd84718e5b29f8e3452fcfe22b19e9910dd (diff) | |
| parent | 6be0e422de395dbdeebb6c481511eb49945eeca8 (diff) | |
Merge PR #788: [API] Remove `open API` in ml files in favor of `-open API` flag.
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 43f7670a66..c3aedf538e 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -197,7 +197,7 @@ let generate_conf_coq_config oc args bypass_API = section oc "Coq configuration."; let src_dirs = if bypass_API then Coq_config.all_src_dirs - else Coq_config.api_dirs @ Coq_config.plugins_dirs in + else Coq_config.api_dirs @ Coq_config.plugins_dirs @ ["-open API"] in Envars.print_config ~prefix_var_name:"COQMF_" oc src_dirs; fprintf oc "COQMF_MAKEFILE=%s\n" (quote (List.hd args)); ;; |