config/coq_config.ml

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)
(* Exact command that generated this file: *)
(* ./configure.ml -local *)

let local = true
let vmbyteflags = ["-dllib";"-lcoqrun";"-dllpath";"/home/emilio/external/coq-master/kernel/byterun";]
let coqlib = "/home/emilio/external/coq-master"
let configdir = "/home/emilio/external/coq-master/ide"
let datadir = "/home/emilio/external/coq-master/ide"
let docdir = "/home/emilio/external/coq-master/doc"
let coqlibsuffix = ""
let configdirsuffix = "ide"
let datadirsuffix = "ide"
let docdirsuffix = "doc"
let ocaml = "/home/emilio/.opam/4.06.0/bin//ocaml"
let ocamlfind = "/home/emilio/.opam/4.06.0/bin/ocamlfind"
let ocamllex = "/home/emilio/.opam/4.06.0/bin//ocamllex"
let camlbin = "/home/emilio/.opam/4.06.0/bin/"
let camllib = "/home/emilio/.opam/4.06.0/lib/ocaml"
let camlp4 = "camlp5"
let camlp4o = "/home/emilio/.opam/4.06.0/bin/camlp5o"
let camlp4bin = "/home/emilio/.opam/4.06.0/bin"
let camlp4lib = "/home/emilio/.opam/4.06.0/lib/camlp5"
let camlp4compat = "-loc loc"
let cflags = "-Wall -Wno-unused -g -O2"
let caml_flags = "-thread -rectypes -w +a-4-9-27-41-42-44-45-48-50  -safe-string"
let best = "opt"
let version = "8.8+alpha"
let caml_version = "4.06.0"
let caml_version_nums = [4;6;0]
let date = "December 2017"
let compile_date = "Dec 9 2017 1:22:55"
let arch = "Linux"
let arch_is_win32 = false
let exec_extension = ""
let coqideincl = ""
let has_coqide = "no"
let gtk_platform = `X11
let has_natdynlink = true
let natdynlinkflag = "true"
let flambda_flags = []
let vo_magic_number = 8791
let state_magic_number = 58791
let browser = "firefox -remote \"OpenURL(%s,new-tab)\" || firefox %s &"
let wwwcoq = "http://coq.inria.fr/"
let wwwbugtracker = "http://coq.inria.fr/bugs/"
let wwwrefman = "http://coq.inria.fr/distrib/8.8+alpha/refman/"
let wwwstdlib = "http://coq.inria.fr/distrib/8.8+alpha/stdlib/"
let localwwwrefman = "file://home/emilio/external/coq-master/doc/html/refman"
let no_native_compiler = false

let core_src_dirs = [
  "config";
  "dev";
  "kernel";
  "library";
  "engine";
  "pretyping";
  "interp";
  "parsing";
  "proofs";
  "tactics";
  "toplevel";
  "printing";
  "intf";
  "grammar";
  "ide";
  "stm";
  "vernac";
]

let api_dirs = ["API"; "lib"]

let plugins_dirs = [
  "plugins/btauto";
  "plugins/cc";
  "plugins/derive";
  "plugins/extraction";
  "plugins/firstorder";
  "plugins/fourier";
  "plugins/funind";
  "plugins/ltac";
  "plugins/micromega";
  "plugins/nsatz";
  "plugins/omega";
  "plugins/quote";
  "plugins/romega";
  "plugins/rtauto";
  "plugins/setoid_ring";
  "plugins/ssr";
  "plugins/ssrmatching";
  "plugins/syntax";
  "plugins/xml";
]

let all_src_dirs = core_src_dirs @ api_dirs @ plugins_dirs