From 8c40e6eb7f5bd2421ed6a22a0b44490f3d1fb9ef Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 27 Sep 2018 02:50:42 +0200
Subject: [config] Remove unused ML variables.

These are unused and not likely to come back.
---
 config/coq_config.mli | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 29065d3ef8..22d8c49fd1 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -23,26 +23,17 @@ val configdirsuffix : string (* config files relative to installation prefix *)
 val datadirsuffix : string   (* data files relative to installation prefix *)
 val docdirsuffix : string    (* doc directory relative to installation prefix *)
 
-val ocaml : string      (* names of ocaml binaries *)
 val ocamlfind : string
-val ocamllex : string
-
-val camlbin : string    (* base directory of OCaml binaries *)
-val camllib : string    (* for Dynlink *)
 
 val camlp5o : string    (* name of the camlp5o executable *)
 val camlp5bin : string  (* base directory for camlp5 binaries *)
 val camlp5lib : string  (* where is the library of camlp5 *)
 val camlp5compat : string (* compatibility argument to camlp5 *)
 
-val coqideincl : string (* arguments for building coqide (e.g. lablgtk) *)
-val cflags : string     (* arguments passed to gcc *)
 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 vmbyteflags : string list (* -custom/-dllib -lcoqrun *)
 
 val version : string    (* version number of Coq *)
 val caml_version : string    (* OCaml version used to compile Coq *)
@@ -52,8 +43,6 @@ val compile_date : string (* compile date *)
 val vo_magic_number : int
 val state_magic_number : int
 
-val core_src_dirs : string list
-val plugins_dirs : string list
 val all_src_dirs : string list
 
 val exec_extension : string (* "" under Unix, ".exe" under MS-windows *)
@@ -62,13 +51,9 @@ val browser : string
 (** default web browser to use, may be overridden by environment
     variable COQREMOTEBROWSER *)
 
-val has_coqide : string
 val gtk_platform : [`QUARTZ | `WIN32 | `X11]
 
 val has_natdynlink : bool
-val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *)
-
-val flambda_flags : string list
 
 val wwwcoq : string
 val wwwrefman : string
-- 
cgit v1.2.3