package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Builds a Site_dir from an existing one. The first parameter is the parent directory. The second gives the name of the directory to create.

  • since 30.0-Zinc

Parameters

module _ : Parameter_sig.Site_dir
module _ : sig ... end

Signature

val get_dir : string -> Filepath.Normalized.t

get_dir name tries to find the directory named name in the site. The function aborts if: name cannot be found or is a file instead of a directory, otherwise it returns the path.

Be careful! This function finds the first directory that exists in the site path. Thus, by extending this path, we get *only* the subdirs and files in this directory, not in all directories of same name. Builder.Make_site_dir can be used to get directories that will always perform the resolution.

val get_file : string -> Filepath.Normalized.t

get_file name tries to find the file named name in the site. The function aborts if: name cannot be found or is a directory instead of a file, otherwise it returns the path.

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