-
Notifications
You must be signed in to change notification settings - Fork 1
/
dune
49 lines (45 loc) · 890 Bytes
/
dune
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
(library
(public_name ppx_minidebug)
(name ppx_minidebug)
(kind ppx_rewriter)
(modules ppx_minidebug)
(libraries ppxlib re)
(ppx_runtime_libraries ppx_minidebug.runtime)
(preprocess
(pps ppxlib.metaquot)))
(library
(public_name ppx_minidebug.runtime)
(name minidebug_runtime)
(modules minidebug_runtime)
(libraries
printbox
printbox-text
printbox-html
printbox-md
ptime.clock.os
mtime.clock.os
re
sexplib0))
(rule
(target index.mld)
(deps README.md)
(alias doc)
(mode
(promote (until-clean)))
(action
(with-stdout-to
%{target}
(run md2mld %{deps}))))
(documentation
(package ppx_minidebug)
(mld_files index))
(rule
(alias upload-doc)
(deps
(alias doc))
(action
(progn
(run cp -rf _doc/_html ../../docs/)
(run git add -A ../../docs)
(run git commit ../../docs -m "Update generated API docs")
(run git push origin main))))