pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix roots with new names for InferPrint and InferAnalyze

Browse Source 
Summary:
With reason conversion, filenames changed and module names changed as well.
Change makefile values to newest module names

Reviewed By: sblackshear

Differential Revision: D3758743

fbshipit-source-id: d8f074c
master
Andrzej Kotulski 8 years ago committed by Facebook Github Bot 4
parent e19550a43b
commit 5d3a15fd9c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
infer/src/Makefile
Unescape View File

@ -236,7 +236,7 @@ test_build: init $(STACKTREE_ATDGEN_STUBS) $(INFERPRINT_ATDGEN_STUBS) $(CLANG_AT
$(DEPENDENCIES_DIR)/ocamldot/ocamldot: $(DEPENDENCIES_DIR)/ocamldot/ocamldot:
$(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot $(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot
roots:=Infer Inferanalyze CMain JMain Inferprint roots:=Infer InferAnalyze CMain JMain InferPrint
src_dirs:=$(shell find * -type d) src_dirs:=$(shell find * -type d)
ml_src_files:=$(shell find $(src_dirs) -regex '.*\.ml\(i\)*' -not -path facebook/scripts/eradicate_stats.ml) ml_src_files:=$(shell find $(src_dirs) -regex '.*\.ml\(i\)*' -not -path facebook/scripts/eradicate_stats.ml)
re_src_files:=$(shell find $(src_dirs) -regex '.*\.re\(i\)*') re_src_files:=$(shell find $(src_dirs) -regex '.*\.re\(i\)*')

Write Preview
Loading…
Cancel
Save