diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-12-22 14:11:55 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-12-27 14:19:59 +0100 |
| commit | b37d3f199e4521e2ae20cc96f0f2b04acc36c7cc (patch) | |
| tree | 5286af838087a280405b1cf1c7a3248612e7c5aa /lib | |
| parent | 7e319ad03aba413f3165b848eaf821b364f9291b (diff) | |
[API] remove large file containing duplicate interfaces
... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/coqProject_file.ml4 | 10 | ||||
| -rw-r--r-- | lib/coqProject_file.mli | 1 |
2 files changed, 3 insertions, 8 deletions
diff --git a/lib/coqProject_file.ml4 b/lib/coqProject_file.ml4 index 34f9aed37..1e52af0be 100644 --- a/lib/coqProject_file.ml4 +++ b/lib/coqProject_file.ml4 @@ -11,7 +11,6 @@ type project = { makefile : string option; install_kind : install option; use_ocamlopt : bool; - bypass_API : bool; v_files : string list; mli_files : string list; @@ -43,12 +42,11 @@ and install = | UserInstall (* TODO generate with PPX *) -let mk_project project_file makefile install_kind use_ocamlopt bypass_API = { +let mk_project project_file makefile install_kind use_ocamlopt = { project_file; makefile; install_kind; use_ocamlopt; - bypass_API; v_files = []; mli_files = []; @@ -181,8 +179,6 @@ let process_cmd_line orig_dir proj args = aux { proj with defs = proj.defs @ [v,def] } r | "-arg" :: a :: r -> aux { proj with extra_args = proj.extra_args @ [a] } r - | "-bypass-API" :: r -> - aux { proj with bypass_API = true } r | f :: r -> let f = CUnix.correct_path f orig_dir in let proj = @@ -202,11 +198,11 @@ let process_cmd_line orig_dir proj args = (******************************* API ************************************) let cmdline_args_to_project ~curdir args = - process_cmd_line curdir (mk_project None None None true false) args + process_cmd_line curdir (mk_project None None None true) args let read_project_file f = process_cmd_line (Filename.dirname f) - (mk_project (Some f) None (Some NoInstall) true false) (parse f) + (mk_project (Some f) None (Some NoInstall) true) (parse f) let rec find_project_file ~from ~projfile_name = let fname = Filename.concat from projfile_name in diff --git a/lib/coqProject_file.mli b/lib/coqProject_file.mli index 23a27a54a..810189450 100644 --- a/lib/coqProject_file.mli +++ b/lib/coqProject_file.mli @@ -13,7 +13,6 @@ type project = { makefile : string option; install_kind : install option; use_ocamlopt : bool; - bypass_API : bool; v_files : string list; mli_files : string list; |