leostera/rules_reason

Add odoc rules

Open

#6 aberto em 8 de out. de 2018

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (1 fork)github user discovery
enhancementhelp wanted

Métricas do repositório

Stars
 (19 stars)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

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" ],
)

Guia do colaborador