package mirage

  1. Overview
  2. Docs
The MirageOS library operating system

Install 

dune-project
 Dependency

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

Authors

  1. T
    Thomas Gazagnaire
  2. A
    Anil Madhavapeddy
  3. Gabriel Radanne
  4. M
    Mindy Preston
  5. T
    Thomas Leonard
  6. N
    Nicolas Ojeda Bar
  7. D
    Dave Scott
  8. D
    David Kaloper
  9. H
    Hannes Mehnert
  10. R
    Richard Mortier

Maintainers

  1. A
    anil@recoil.org
  2. T
    thomas@gazagnaire.org

Sources

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

doc/mirage.functoria/Functoria/Lib/Make/argument-1-_/index.html

Parameter Make._

val prelude : Info.t -> string

Prelude printed at the beginning of main.ml.

It should put in scope:

  • a io type as an alias to type 'a t
  • a run function of type 'a t -> 'a
  • a return function of type 'a -> 'a t
  • a >>= operator of type 'a t -> ('a -> 'b t) -> 'b t
val packages : Package.t list

The packages to load when compiling the configuration file.

val name : string

Name of the custom DSL.

val version : string

Version of the custom DSL.

val create : DSL.job DSL.impl list -> DSL.job DSL.impl

create jobs is the top-level job in the custom DSL which will execute the given list of job.

val name_of_target : Info.t -> string

name_of_target i is the name used to build the project with the build info i. For simple projects it can be Info.name. For more complex projects (like mirage), the name is suffixed by the value of the target key defined in i.

val dune_project : Dune.stanza list
val dune_workspace : (?build_dir:Fpath.t -> DSL.info -> Dune.t) option
val context_name : Info.t -> string