File: dune_file.mli

package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2
file content (35 lines) | stat: -rw-r--r-- 780 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
(************************************************************************)
(* This file is licensed under The MIT License                          *)
(* See LICENSE for more information                                     *)
(************************************************************************)

type 'a pp = Format.formatter -> 'a -> unit

module Rule : sig
  type t =
    { targets : string list
    ; deps : string list
    ; action : string
    ; alias : string option
    }

  val pp : t pp
end

module Install : sig
  type t =
    { section : string
    ; package : string
    ; files : (string * string) list
    (* (source as target) *)
    }

  val pp : t pp
end

module Subdir : sig

  type 'a t = { subdir : string; payload : 'a }

  val pp : 'a pp -> 'a t pp
end