diff --git a/Makefile b/Makefile index 1041d53a..bb4cfa0e 100644 --- a/Makefile +++ b/Makefile @@ -16,13 +16,13 @@ else OCPINDENT = ocp-indent endif +compiler: version format + $(OCB) src/vultc.native src/vultc.byte + format: $(VULT_SRC) @$(OCAMLFORMAT) -i --enable-outside-detected-project $(VULT_SRC) @$(OCPINDENT) -i $(VULT_SRC) -compiler: version format - $(OCB) src/vultc.native src/vultc.byte - js: jscompiler $(OCB) src/js/vultlib.byte js_of_ocaml vultlib.byte