package coq

  1. Overview
  2. Docs
package coq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
(* 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+1..3-4+5..8-9+10..26-27+28..40-41-42+43-44-45+46..47-48+49..57-58+59..66-67-68+69-70   -safe-string -strict-sequence"
let version = "8.15.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 = 81500l
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.15.0/refman/"
let wwwstdlib = "http://coq.inria.fr/distrib/V8.15.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 = [
  "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/micromega";
  "plugins/nsatz";
  "plugins/ring";
  "plugins/rtauto";
  "plugins/ssr";
  "plugins/ssrmatching";
  "plugins/syntax";
]

let all_src_dirs = core_src_dirs @ plugins_dirs
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct