package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.5.tbz
sha256=c0b2deb8f9cfec44f9dbc256a18b50944f2aa8fcba84aef3165abebd23476e0c
sha512=e354f1cb4d12b424c22b9add0851a8750fe09f095ca97f0ec0360b18f7c69db60b155fdd18b0d7a6cea3432e63f20e4695a5bccaac3fc34588348e4311baa1c5

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.