package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install

dune-project
 Dependency

Authors

Maintainers

Sources

mirage-4.10.0.tbz
sha256=795cc176ffbc67363d4c4ef69354aced9681c0b1e24bf93f0a270975ee0b608b
sha512=96a2fb3971613b146371a02af1ce59c73ca86dd1f42c0c47334bfbabe7d5f4cffb080c2c585e2e21fe3d33133bbe86b703cb9d276dd86ce3a90a544f03293af5

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.