package mirage

You can search for identifiers within the package.

in-package search v0.2.0

The MirageOS library operating system

Install

Dune Dependency

github.com Readme Changelog ISC License Edit opam file Versions (4)

Authors

Maintainers

Sources

mirage-4.7.0.tbz

sha256=ade8c410b2de3997c4a513f53f6c990dac6af508161e20df01b64fa7975ca5be

sha512=42fddf09be84c4251417145b88d4f63b41db1b29c9622b2b4e4508e31146f227a16875e670da96251208745f79a42f0b7d2bd8b44b883a705381b4c97a4255b8

doc/mirage.functoria/Functoria/Tool/Make/index.html

Module `Tool.Make`Source

Parameters

module _ : S

Signature

Sourceval run : unit -> unit

Run the configuration builder. This should be called exactly once to run the configuration builder: command-line arguments will be parsed, and some code will be generated and compiled.

Source

val run_with_argv : 
  ?help_ppf:Format.formatter ->
  ?err_ppf:Format.formatter ->
  string array ->
  unit

run_with_argv a is the same as run but parses a instead of the process command line arguments. It also allows to set the error and help channels using help_ppf and err_ppf.

On This Page

Parameters
Signature