summaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune12
1 files changed, 11 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index 3998f1e..97f24ee 100644
--- a/src/dune
+++ b/src/dune
@@ -50,7 +50,6 @@
(preprocess (pps lwt_ppx)))
(rule
- (alias protoc)
(mode promote)
(targets vyconf_pbt.ml vyconf_pbt.mli)
(action
@@ -61,6 +60,17 @@
(run mv src/vyconf.ml src/vyconf_pbt.ml)
(run mv src/vyconf.mli src/vyconf_pbt.mli)))))
+(rule
+ (mode promote)
+ (targets vycall_pbt.ml vycall_pbt.mli)
+ (action
+ (chdir
+ %{project_root}
+ (progn
+ (run ocaml-protoc --ml_out src data/vycall.proto)
+ (run mv src/vycall.ml src/vycall_pbt.ml)
+ (run mv src/vycall.mli src/vycall_pbt.mli)))))
+
(library
(name vyos1x_adapter)
(public_name vyconf.vyos1x-adapter)