package coq

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

Module Boot.UtilSource

Sourceval parse_env_line : string -> (string * string) option
Sourceval with_ic : string -> (in_channel -> 'a) -> 'a
Sourceval getenv_from_file : string -> string
Sourceval system_getenv : string -> string
Sourceval getenv_else : string -> (unit -> string) -> string
Sourceval use_suffix : string -> string -> string

Add a local installation suffix (unless the suffix is itself absolute in which case the prefix does not matter)

Sourceval canonical_path_name : string -> string
Sourceval coqbin : string
Sourceval coqroot : string

The following only makes sense when executables are running from source tree (e.g. during build or in local mode).

Sourceval check_file_else : dir:string -> file:string -> (unit -> string) -> string

check_file_else ~dir ~file oth checks if file exists in the installation directory dir given relatively to coqroot, which maybe has been relocated. If the check fails, then oth () is evaluated. Using file system equality seems well enough for this heuristic

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