make -C infer

log

[jollychang@jollychangs-MBP infer]$ make -C infer
make -C src clang
GIT_COMMIT=$(git rev-parse HEAD 2> /dev/null || printf "unknown commit"); \
	GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD 2> /dev/null || printf "unknown branch"); \
	UNKNOWN="-unknown"; \
	if [ -e "/Users/jollychang/works/infer/.release" ]; then \
	  UNKNOWN=""; \
	fi; \
	GIT_TAG=$(git tag --points-at HEAD 2> /dev/null || printf "v0.4.0$UNKNOWN"); \
	sed -e 's/@MAJOR@/0/g' \
		-e 's/@MINOR@/4/g' \
		-e 's/@PATCH@/0/g' \
		-e "s/@GIT_COMMIT@/$GIT_COMMIT/g" \
		-e "s#@GIT_BRANCH@#$GIT_BRANCH#g" \
		-e "s/@GIT_TAG@/$GIT_TAG/g" \
		backend/version.ml.in > backend/version.ml
atdgen -rec -t /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast
atdgen -rec -b /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast
atdgen -rec -j /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast
atdgen -rec -v /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast
cp -f -p /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast_proj.ml clang
cp -f -p /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast_proj.mli clang
cp -f -p /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/clang_ast_visit.ml clang
cp -f -p /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/clang_ast_main.ml clang
ocamlbuild -build-dir ../_build-infer -j 0 -I backend -I checkers -I facebook/checkers -I facebook/checkers/graphql -I facebook/scripts -I harness -I opensource -lflags -annot -cflags "-bin-annot -warn-error @5@8@10..12@20@26@39" -lib unix -lib str -cflags -annot -lflags -I,/Users/jollychang/.opam/4.01.0/lib/easy-format,-I,/Users/jollychang/.opam/4.01.0/lib/biniou,-I,/Users/jollychang/.opam/4.01.0/lib/yojson,-I,/Users/jollychang/.opam/4.01.0/lib/atdgen -cflags -I,/Users/jollychang/.opam/4.01.0/lib/easy-format,-I,/Users/jollychang/.opam/4.01.0/lib/biniou,-I,/Users/jollychang/.opam/4.01.0/lib/yojson,-I,/Users/jollychang/.opam/4.01.0/lib/atdgen -lib atdgen -mod easy_format -mod bi_util -mod bi_share -mod bi_outbuf -mod bi_inbuf -mod bi_vint -mod bi_io -mod yojson -mod ag_oj_run -mod ag_ob_run -mod ag_util  -cflags -annot -lflags -I,/Users/jollychang/.opam/4.01.0/lib/extlib,-I,/Users/jollychang/.opam/4.01.0/lib/camlzip/../zip,-I,/Users/jollychang/.opam/4.01.0/lib/ptrees,-I,/Users/jollychang/.opam/4.01.0/lib/javalib,-I,/Users/jollychang/.opam/4.01.0/lib/sawja -cflags -I,/Users/jollychang/.opam/4.01.0/lib/extlib,-I,/Users/jollychang/.opam/4.01.0/lib/camlzip/../zip,-I,/Users/jollychang/.opam/4.01.0/lib/ptrees,-I,/Users/jollychang/.opam/4.01.0/lib/javalib,-I,/Users/jollychang/.opam/4.01.0/lib/sawja -lib zip -lib extLib -lib ptrees -lib javalib -lib sawja backend/inferanalyze.native backend/inferprint.native clang/cMain.native
Finished, 478 targets (0 cached) in 00:01:10.
rsync -r --delete --exclude=*.ml* --exclude=*.o --exclude=*.cm* --exclude=*.native ../_build-infer/* /Users/jollychang/works/infer/infer/src/_build
cp -f -p ../_build-infer/backend/inferanalyze.native /Users/jollychang/works/infer/infer/bin/InferAnalyze
cp -f -p ../_build-infer/backend/inferprint.native /Users/jollychang/works/infer/infer/bin/InferPrint
cp -f -p ../_build-infer/clang/cMain.native /Users/jollychang/works/infer/infer/bin/InferClang
tr -s '[*!"#\&\(\)\+,\\\.\/:;<=>\?@\[\\\\]^`\{|\}~[:space:]]' '\n' \
	  < /Users/jollychang/works/infer/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd \
	  | sort | uniq  \
	  > /Users/jollychang/works/infer/infer/etc/clang_ast.dict
make -C models clang
make -C c install
if [ -a /Users/jollychang/works/infer/infer/models/c/../../lib/specs/c_models ];then rm /Users/jollychang/works/infer/infer/models/c/../../lib/specs/c_models;fi
make -C src clean
rm -rf *.o
INFER_ANALYZE_MODELS=1 /Users/jollychang/works/infer/infer/models/c/../../bin/infer -o /Users/jollychang/works/infer/infer/models/c/out --models_mode --no_failures_allowed -- make -C src -j
gcc -c -w  glib.c -o glib.o
gcc -c -w  infer_builtins.c -o infer_builtins.o
gcc -c -w  libc_basic.c -o libc_basic.o
gcc -c -w  math.c -o math.o
gcc -c -w  wchar.c -o wchar.o
gcc -c -w  wctype.c -o wctype.o
gcc -c -w  xlib.c -o xlib.o
wctype.c:14:10: fatal error: 'wctype.h' file not found
In file included from glib.c:13:
./infer_builtins.h:13:10: fatal errorIn file included from : math.c#include <wctype.h>:
13:
         ^
./infer_builtins.h'stdlib.h': 13file: 10not:  found
fatal error: 'stdlib.h' file not found
#include <stdlib.h>
         ^
#include <stdlib.h>
         ^
In file included from infer_builtins.c:13:
./infer_builtins.h:13:10: fatal error: 'stdlib.h' file not found
#include <stdlib.h>
         ^
In file included from xlib.c:13:
./infer_builtins.hIn file included from :13wchar.c::1013::
 ./infer_builtins.h:fatal error13: :10: 'stdlib.h' fatal errorfile:  not found'stdlib.h'
file not found
#include <stdlib.h>
         ^
#include <stdlib.h>
         ^
In file included from libc_basic.c:29:
./infer_builtins.h:13:10: fatal error: 'stdlib.h' file not found
#include <stdlib.h>
         ^
11 error error generated.
 generated.
1 error generated.
1 error generated.
1 error generated.
1 error generated.
make[3]: *** [glib.o] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: *** [xlib.o] Error 1
make[3]: *** [wctype.o] Error 1
make[3]: *** [infer_builtins.o] Error 1
1 error generated.
make[3]: *** [wchar.o] Error 1
make[3]: *** [libc_basic.o] Error 1
make[3]: *** [math.o] Error 1
make[2]: *** [run_infer] Error 2
make[1]: *** [/Users/jollychang/works/infer/infer/models/../lib/specs/c_models] Error 2
make: *** [clang] Error 2