Project

General

Profile

Revision 9b0432bc plugins/tiny/dune

View differences:

plugins/tiny/dune
1

  
2

  
3 1
(env
4 2
 (dev
5 3
  (flags
......
8 6

  
9 7
(library 
10 8
(name tiny_plugin)
11
(libraries lustrec tiny)
12
(optional)
9
(libraries yojson lustrec tiny backends)
10
(preprocess (staged_pps ppx_deriving_yojson ppx_import ppx_deriving.show))
13 11
)

Also available in: Unified diff