diff options
Diffstat (limited to 'bindings/network-manager/dune')
| -rw-r--r-- | bindings/network-manager/dune | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bindings/network-manager/dune b/bindings/network-manager/dune new file mode 100644 index 0000000..456dbff --- /dev/null +++ b/bindings/network-manager/dune @@ -0,0 +1,12 @@ +(library + (name obus_network_manager) + (public_name obus.network_manager) + (wrapped false) + (libraries lwt lwt_log obus) + (preprocess (pps lwt_ppx ppx_obus))) + +(rule + (targets nm_interfaces.ml nm_interfaces.mli) + (deps nm_interfaces.obus) + (action + (run obus-gen-interface -keep-common -o nm_interfaces %{deps}))) |