|
|
|
@ -37,7 +37,7 @@ OCAMLBUILD_OPTIONS = \
|
|
|
|
|
-tag-line "<*{clang/clang_ast_*,backend/jsonbug_*,checkers/stacktree_*}>: warn(-27-32-35-39)" \
|
|
|
|
|
-tag-line "<*/{,*/}*.{ml,re}{,i}>: package(ppx_compare)" \
|
|
|
|
|
-tag thread \
|
|
|
|
|
-pkgs atdgen,core,ctypes.foreign,extlib,oUnit,str,unix,yojson,zip
|
|
|
|
|
-pkgs atdgen,core,ctypes.foreign,oUnit,str,unix,yojson,zip
|
|
|
|
|
|
|
|
|
|
ifeq ($(ENABLE_OCAML_ANNOT),yes)
|
|
|
|
|
OCAMLBUILD_OPTIONS += -cflags -annot
|
|
|
|
@ -228,10 +228,10 @@ test_build: init $(STACKTREE_ATDGEN_STUBS) $(INFERPRINT_ATDGEN_STUBS) $(CLANG_AT
|
|
|
|
|
# to generate interface file.mli from implementation file.ml execute:
|
|
|
|
|
# make M=file mli
|
|
|
|
|
mli:
|
|
|
|
|
ocamlfind ocamlc -package atdgen,extlib,oUnit,str,unix,yojson,zip $(addprefix -I ../_build/infer/,$(DEPENDENCIES)) -i $(M).ml > $(M).mli
|
|
|
|
|
ocamlfind ocamlc -package atdgen,oUnit,str,unix,yojson,zip $(addprefix -I ../_build/infer/,$(DEPENDENCIES)) -i $(M).ml > $(M).mli
|
|
|
|
|
|
|
|
|
|
rei:
|
|
|
|
|
ocamlfind ocamlc -package atdgen,extlib,oUnit,str,unix,yojson,zip $(addprefix -I ../_build/infer/,$(DEPENDENCIES)) -i -pp refmt -impl $(M).re > $(M).rei
|
|
|
|
|
ocamlfind ocamlc -package atdgen,oUnit,str,unix,yojson,zip $(addprefix -I ../_build/infer/,$(DEPENDENCIES)) -i -pp refmt -impl $(M).re > $(M).rei
|
|
|
|
|
|
|
|
|
|
# convert to reason
|
|
|
|
|
%.re : %.ml
|
|
|
|
|