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 (14)

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.6.tbz
sha256=c534c6b745f0d056ace7e1380243cf3f7e82e3ff819a646080a5754a406df732
sha512=408609452b37d0198776afd020521a6f53b7df3c2bfd7d693c74747e67ae919ec0169d0345098e665f3b3629a81c99cd9294c66b13d5a8ec4889e064fcc16bfa

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 target_filename : Info.t -> string

target_filename i is the filename of this project's output, as it will be installed by dune.

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