package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.2.tbz
sha256=4184cbc7e51b0dcdcf4345c98818c34129ff42879ef091e54849faa57b29d397
sha512=cb54de5a1741c9b5702a5c5290feb01c41ac39b220bf7d249dbaf6506834f1ac5c832726230e8ecd2fbc49f5550f9109560434e01746f0d20b6b6578e7174961

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

Module Lib.MakeSource

Configuration builder: stage 1

Parameters

module _ : S

Signature

Sourceval register : ?init:DSL.job DSL.impl list -> ?src:[ `Auto | `None | `Some of string ] -> string -> DSL.job DSL.impl list -> unit

register name jobs registers the application named by name which will execute the given jobs. Same optional arguments as DSL.main.

init is the list of job to execute before anything else (such as command-line argument parsing, log reporter setup, etc.). The jobs are always executed in the sequence specified by the caller.