diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-14 00:06:02 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-14 00:06:02 +0100 |
| commit | 290abf59e6f13bb1468d8e3df050cf0bd9c48708 (patch) | |
| tree | a61d3dce0bd34372b48668f44d280b5d886e2994 /config/coq_config.mli | |
| parent | 7576ffd4eb196d5d5a15f6cacb2ba5cba00576ef (diff) | |
| parent | f5cb7eb3e68e4b7d1bb5eeb8d9c58666201945d4 (diff) | |
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
Diffstat (limited to 'config/coq_config.mli')
| -rw-r--r-- | config/coq_config.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/config/coq_config.mli b/config/coq_config.mli index 6a834a304..40661f428 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -41,12 +41,8 @@ val caml_flags : string (* arguments passed to ocamlc (ie. CAMLFLAGS) *) val best : string (* byte/opt *) val arch : string (* architecture *) val arch_is_win32 : bool -val osdeplibs : string (* OS dependent link options for ocamlc *) val vmbyteflags : string list (* -custom/-dllib -lcoqrun *) - -(* val defined : string list (* options for lib/ocamlpp *) *) - val version : string (* version number of Coq *) val caml_version : string (* OCaml version used to compile Coq *) val caml_version_nums : int list (* OCaml version used to compile Coq by components *) |