leostera/rules_reason

Add odoc rules

Open

#6 aperta il 8 ott 2018

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Python (1 fork)github user discovery
enhancementhelp wanted

Metriche repository

Star
 (19 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

ocaml_module(
  name = "module_srcs",
  srcs = glob(["*.ml", "*.mli"]),
)

odoc_unit(
  name = "docs.odoc",
  srcs = [ ":module_srcs" ],
)

odoc_html(
  name = "docs.html",
  srcs = [ ":docs.odoc"]
)

Alternatively

ocaml_module(
  name = "module_srcs",
  srcs = glob(["*.ml", "*.mli"]),
)

odoc(
 name = "docs",
 srcs = [ ":module_srcs" ],
)

Guida contributor