diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-29 14:08:57 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-29 14:08:57 +0100 |
| commit | 2d6e395dead61a49ede6208bc40e16b4b8e68ce4 (patch) | |
| tree | cd14828b3c41252961c3bb975e814541ed3c3b78 /lib | |
| parent | 53ade7982bebc8a85133d6b5ba257962e2f3fc15 (diff) | |
| parent | 2be81020d8533b7d275f820fad8f597929aa064e (diff) | |
Merge PR #6493: [API] remove large file containing duplicate interfaces
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; |