Source file coq_config.ml

(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)
(* Exact command that generated this file: *)
(* _build/default/tools/configure/configure.exe -configdir /home/opam/.opam/4.14/lib/coq/config -prefix /home/opam/.opam/4.14 -mandir /home/opam/.opam/4.14/man -docdir /home/opam/.opam/4.14/doc/coq -libdir /home/opam/.opam/4.14/lib/coq -datadir /home/opam/.opam/4.14/share/coq -coqide no -native-compiler no *)

let coqlib = "/home/opam/.opam/4.14/lib/coq"
let configdir = "/home/opam/.opam/4.14/lib/coq/config"
let datadir = "/home/opam/.opam/4.14/share/coq"
let docdir = "/home/opam/.opam/4.14/doc/coq"
let coqlibsuffix = "lib/coq"
let configdirsuffix = "lib/coq/config"
let datadirsuffix = "share/coq"
let docdirsuffix = "doc/coq"
let ocamlfind = "/home/opam/.opam/4.14/bin/ocamlfind"
let caml_flags = "-thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67-68-70   -safe-string -strict-sequence"
let version = "8.14.0"
let caml_version = "4.14.2"
let caml_version_nums = [4;14;2]
let arch = "Linux"
let arch_is_win32 = false
let exec_extension = ""
let gtk_platform = `X11
let has_natdynlink = true
let vo_version = 81400l
let state_magic_number = 581400
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/V8.14.0/refman/"
let wwwstdlib = "http://coq.inria.fr/distrib/V8.14.0/stdlib/"
let localwwwrefman = "file://home/opam/.opam/4.14/doc/coq/html/refman"
let bytecode_compiler = true
type native_compiler = NativeOff | NativeOn of { ondemand : bool }
let native_compiler = NativeOff

let core_src_dirs = [
  "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/micromega";
  "plugins/nsatz";
  "plugins/ring";
  "plugins/rtauto";
  "plugins/ssr";
  "plugins/ssrmatching";
  "plugins/ssrsearch";
  "plugins/syntax";
]

let all_src_dirs = core_src_dirs @ plugins_dirs