Skip to content

Instantly share code, notes, and snippets.

@jollychang
Created October 16, 2015 09:23
Show Gist options
  • Save jollychang/30f09750d64db92b2787 to your computer and use it in GitHub Desktop.
Save jollychang/30f09750d64db92b2787 to your computer and use it in GitHub Desktop.
make -C infer
[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