-
-
Save jollychang/30f09750d64db92b2787 to your computer and use it in GitHub Desktop.
make -C infer
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[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@[email protected]@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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment