package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.1.tbz
sha256=1155b5e9a585d3b44dfdd72777d94a7222b0f88a1737593bfb1f09954b6fb914
sha512=c59a0051f1037d7dd5bb81dfc8a265117b533383d0b285e0c2101b44d2ca8bcab40c432ce696a5b44397216e78ac59863f1ab6c5fb33bb338ca18d7ef359500f

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.