?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
move marshal_tools to its own directory
[hiphop-php.git] / hphp / hack / src / utils / marshal_tools / dune
blob2b186d7061c0496616d0a9c214d309c7adfe6527
1 (library
2   (name marshal_tools)
3   (wrapped false)
4   (modules
5     marshal_tools)
6   (libraries
7     sys_utils))
8
9 (library
10   (name marshal_tools_lwt)
11   (wrapped false)
12   (modules
13     marshal_tools_lwt)
14   (libraries
15     marshal_tools
16     lwt
17     lwt.unix
18     lwt_log))