Source file `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
(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)
(* Exact command that generated this file: *)
(* ./_build/default/tools/configure/configure.exe -prefix /home/opam/.opam/5.4 -libdir /home/opam/.opam/5.4/lib/coq -native-compiler no *)

let gc_ramp_up f = fst (Gc.ramp_up f)
type relocatable_path = NotRelocatable of string | Relocatable of string
let install_prefix = NotRelocatable "/home/opam/.opam/5.4"
let coqlib = NotRelocatable "/home/opam/.opam/5.4/lib/coq"
let configdir = NotRelocatable "/home/opam/.opam/5.4/etc/xdg/coq"
let datadir = NotRelocatable "/home/opam/.opam/5.4/share/coq"
let docdir = NotRelocatable "/home/opam/.opam/5.4/share/doc"
let coqlibsuffix = "lib/coq"
let configdirsuffix = "etc/xdg/coq"
let datadirsuffix = "share/coq"
let docdirsuffix = "share/doc"
let ocamlfind = "/home/opam/.opam/5.4/bin/ocamlfind"
let caml_flags = "-thread -bin-annot -strict-sequence -w -a+1..3-4+5..8-9+10..26-27+28..39-40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70"
let version = "9.2"
let caml_version = "5.4.0"
let caml_version_nums = [5;4;0]
let arch = "Linux"
let arch_is_win32 = false
let exec_extension = ""
let has_natdynlink = true
let vo_version = 90299l
let browser = "xdg-open \"%s\""
let wwwcoq = "http://rocq-prover.org/"
let wwwbugtracker = "http://rocq-prover.org/bugs/"
let wwwrefman = "http://rocq-prover.org/doc/V9.2/refman/"
let wwwstdlib = "http://rocq-prover.org/doc/V9.2/corelib/"
let bytecode_compiler = true
type native_compiler = NativeOff | NativeOn of { ondemand : bool }
let native_compiler = NativeOff

let core_src_dirs = [
  "boot";
  "config";
  "lib";
  "clib";
  "kernel";
  "library";
  "engine";
  "pretyping";
  "interp";
  "gramlib";
  "parsing";
  "proofs";
  "tactics";
  "toplevel";
  "printing";
  "ide";
  "stm";
  "vernac";
]

let plugins_dirs = [
  "plugins/btauto";
  "plugins/cc";
  "plugins/derive";
  "plugins/extraction";
  "plugins/firstorder";
  "plugins/funind";
  "plugins/ltac";
  "plugins/ltac2";
  "plugins/ltac2_ltac1";
  "plugins/micromega";
  "plugins/nsatz";
  "plugins/ring";
  "plugins/rtauto";
  "plugins/ssr";
  "plugins/ssrmatching";
  "plugins/syntax";
]

let all_src_dirs = core_src_dirs @ plugins_dirs