summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index df89b555e..0d295fac6 100644
--- a/Makefile
+++ b/Makefile
@@ -77,8 +77,12 @@ op_mode_definitions: $(op_xml_obj)
vyshim:
$(MAKE) -C $(SHIM_DIR)
+.PHONY: ocaml
+ocaml: libvyosconfig
+ $(MAKE) -C src/ocaml
+
.PHONY: all
-all: clean copyright libvyosconfig pylint interface_definitions op_mode_definitions test j2lint vyshim generate-configd-include-json generate-activation-scripts-json
+all: clean copyright libvyosconfig pylint interface_definitions op_mode_definitions test j2lint vyshim generate-configd-include-json generate-activation-scripts-json ocaml
.PHONY: copyright
copyright:
@@ -93,6 +97,7 @@ clean:
rm -rf $(TMPL_DIR)
rm -rf $(OP_TMPL_DIR)
$(MAKE) -C $(SHIM_DIR) clean
+ $(MAKE) -C src/ocaml clean
.PHONY: test
test: generate-configd-include-json