search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.95k stars 2.01k forks source link

Error: The implementation backend/version.ml #230

Closed shenruisi closed 8 years ago

shenruisi commented 8 years ago

I got follow error, i try to build it on mac os x.

download infer-osx-v0.5.0.tar.xz

and use command line ./build-infer.sh clang

File "backend/version.ml", line 1: Error: The implementation backend/version.ml does not match the interface backend/version.cmi: The value versionJson' is required but not provided The valueversionString' is required but not provided Command exited with code 2. make[2]: * [build_clang] Error 10 make[1]: * [clang] Error 2 make: *\ [clang] Error 2

jvillard commented 8 years ago

Could you please paste the full output of ./build-infer.sh, eg as a gist?

shenruisi commented 8 years ago

sorry,I paste the full output here. initializing opam... preparing build...

\ Building Infer **

checking if we are in an Infer release build... yes checking whether to use the compilers in /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin... yes checking for shasum... shasum checking for python2.7... python2.7 checking for javac... javac checking for xcode-select... xcode-select checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang accepts -g... yes checking for /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang option to accept ISO C89... none needed checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes checking whether make sets $(MAKE)... yes checking how to run the C preprocessor... /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -E checking whether we are using the GNU C++ compiler... yes checking whether /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ accepts -g... yes checking if the C/C++ compiler is recent enough... yes checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking fcntl.h usability... yes checking fcntl.h presence... yes checking for fcntl.h... yes checking for inttypes.h... (cached) yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking locale.h usability... yes checking locale.h presence... yes checking for locale.h... yes checking malloc.h usability... no checking malloc.h presence... no checking for malloc.h... no checking stddef.h usability... yes checking stddef.h presence... yes checking for stddef.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking sys/mount.h usability... yes checking sys/mount.h presence... yes checking for sys/mount.h... yes checking sys/param.h usability... yes checking sys/param.h presence... yes checking for sys/param.h... yes checking sys/socket.h usability... yes checking sys/socket.h presence... yes checking for sys/socket.h... yes checking sys/statfs.h usability... no checking sys/statfs.h presence... no checking for sys/statfs.h... no checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking for unistd.h... (cached) yes checking wchar.h usability... yes checking wchar.h presence... yes checking for wchar.h... yes checking wctype.h usability... yes checking wctype.h presence... yes checking for wctype.h... yes checking for ocamlc... ocamlc OCaml version is 4.02.3 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking for ocamlc.opt... ocamlc.opt checking for ocamlopt.opt... ocamlopt.opt checking for dynlink.cmxa... yes checking for ocaml... ocaml checking for ocamldep... ocamldep checking for ocamlmktop... ocamlmktop checking for ocamlmklib... ocamlmklib checking for ocamldoc... ocamldoc checking for ocamlbuild... ocamlbuild checking for ocamlfind... ocamlfind checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for OCaml findlib package atdgen version 1.6.0... /Users/yinshen/.opam/system/lib/atdgen checking for OCaml findlib package biniou... /Users/yinshen/.opam/system/lib/biniou checking for OCaml findlib package camlzip... /Users/yinshen/.opam/system/lib/camlzip/../zip checking for OCaml findlib package easy-format... /Users/yinshen/.opam/system/lib/easy-format checking for OCaml findlib package extlib version 1.5.4... /Users/yinshen/.opam/system/lib/extlib checking for OCaml findlib package yojson... /Users/yinshen/.opam/system/lib/yojson checking if OCaml supports the native 'bytes' type... yes checking if ocamlc.opt supports the '-safe-string' flag... yes checking for atdgen... atdgen configure: creating ./config.status config.status: creating Makefile.config config.status: creating Makefile config.status: creating infer/Makefile config.status: creating infer/models/Makefile config.status: creating infer/models/c/Makefile config.status: creating infer/models/cpp/Makefile config.status: creating infer/models/objc/Makefile config.status: creating infer/models/java/Makefile config.status: creating infer/src/Makefile export CC="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang" CFLAGS="-g -O2"; \ export CXX="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++" CXXFLAGS="-g -O2"; \ export CPP="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -E" LDFLAGS="" LIBS=""; \ /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/setup.sh Clang is already installed according to /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/installed.version Nothing to do, exiting. /Applications/Xcode.app/Contents/Developer/usr/bin/make -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/libtooling all \ CC=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang CXX=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ \ CXX="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++" CXXFLAGS="-g -O2" \ CPP="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -E" LDFLAGS="" LIBS="" \ LOCAL_CLANG=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang \ CLANG_PREFIX=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang \ CLANG_INCLUDES=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c SimplePluginASTAction.cpp -o build/SimplePluginASTAction.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c FileUtils.cpp -o build/FileUtils.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c FileServices.cpp -o build/FileServices.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c AttrParameterVectorStream.cpp -o build/AttrParameterVectorStream.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c ASTExporter.cpp -o build/ASTExporter.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -I . -c ../extra-repo-example/libtooling/PrintTopDeclarations.cpp -o build/PrintTopDeclarations.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -c record_copied_file.cpp -o build/record_copied_file.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -std=c++11 -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include -D_GNU_SOURCE -DSTDC_CONSTANT_MACROS -DSTDC_FORMAT_MACROS -DSTDC_LIMIT_MACROS -fvisibility-inlines-hidden -fno-exceptions -fno-rtti -fno-common -Woverloaded-virtual -Wcast-qual -fno-strict-aliasing -pedantic -Wno-long-long -Wall -W -Wno-unused-parameter -Wwrite-strings -Wno-uninitialized -Wno-missing-field-initializers -Wno-vla-extension -Wno-c99-extensions -O3 -DNDEBUG -o build/record_copied_file build/record_copied_file.o build/FileServices.o /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ -stdlib=libc++ -O3 -Wl,-rpath -Wl,@executable_path/../lib -Wl,-undefined,dynamic_lookup -Wl,-flat_namespace -Wl,-undefined,suppress -dynamiclib -shared -o build/FacebookClangPlugin.dylib build/SimplePluginASTAction.o build/FileUtils.o build/FileServices.o build/AttrParameterVectorStream.o build/ASTExporter.o build/PrintTopDeclarations.o -lz -lpthread -lm /Applications/Xcode.app/Contents/Developer/usr/bin/make -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml all \ build/clang_ast_proj.ml build/clang_ast_proj.mli \ CC=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang CXX=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++ \ CXX="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang++" CXXFLAGS="-g -O2" \ CPP="/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -E" LDFLAGS="" LIBS="" \ LOCAL_CLANG=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang \ CLANG_PREFIX=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang \ CLANG_INCLUDES=/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include python ../libtooling/atdlib/extract_atd_from_cpp.py ../libtooling/build/ASTExporter.h.p | python ../libtooling/atdlib/normalize_names_in_atd.py > build/ast_inline.atd.p /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -cc1 -E -traditional-cpp -w -P -main-file-name - -o - build/ast_inline.atd.p > build/ast_inline.atd cat build/ast_inline.atd.p | grep '^#' > build/ast_inline.atd.inc cat clang_ast_proj.mli.p | /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -cc1 -E -traditional-cpp -w -P -main-file-name - -o - -include build/ast_inline.atd.inc > build/clang_ast_proj.mli cat build/astinline.atd.inc | sed 's//,/g; s/ list/_list/g' > build/ast_inline.pat.inc /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -cc1 -E -P -x c -main-file-name - -o - -I/Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/include clang_ast_proj.ml.p -o - | python ../libtooling/atdlib/normalize_names_in_atd.py | /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang/bin/clang -cc1 -E -traditional-cpp -w -P -main-file-name - -o - -include build/ast_inline.pat.inc > build/clang_ast_proj.ml atdcat -i build/ast_inline.atd > build/clang_ast.atd atdgen -t -o build/clang_ast build/clang_ast.atd atdgen -j -o build/clang_ast build/clang_ast.atd atdgen -v -o build/clang_ast build/clang_ast.atd ocamldep -native -I build clang_ast_converter.ml clang_ast_main.ml clang_ast_main_test.ml clang_ast_named_decl_printer.ml clang_ast_proj_test.ml clang_ast_types.ml clang_ast_visit.ml clang_ast_yojson_validator.ml process.ml process_test.ml utils.ml utils_test.ml yojson_utils.ml yojson_utils_test.ml process.mli utils.mli yojson_utils.mli build/clang_ast_t.mli build/clang_ast_t.ml build/clang_ast_j.mli build/clang_ast_j.ml build/clang_ast_v.mli build/clang_ast_v.ml build/clang_ast_proj.mli build/clang_astproj.ml | sed -e 's/([a-zA-Z0-9]_.cm.)/build\/\1/g' | sed -e 's/build\/build\//build\//g' > .depend ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_types.cmx -c clang_ast_types.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/process.cmi -c process.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/utils.cmi -c utils.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/yojson_utils.cmi -c yojson_utils.mli make[1]: build/clang_ast_proj.ml' is up to date. make[1]:build/clang_ast_proj.mli' is up to date. ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/process.cmx -c process.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/utils.cmx -c utils.ml File "process.ml", line 37, characters 15-28: Warning 3: deprecated: String.create Use Bytes.create instead. File "process.ml", line 46, characters 15-28: Warning 3: deprecated: String.create Use Bytes.create instead. File "process.ml", line 62, characters 15-28: Warning 3: deprecated: String.create Use Bytes.create instead. ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_t.cmi -c build/clang_ast_t.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/yojson_utils.cmx -c yojson_utils.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_t.cmx -c build/clang_ast_t.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_j.cmi -c build/clang_ast_j.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_proj.cmi -c build/clang_ast_proj.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_v.cmi -c build/clang_ast_v.mli ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_proj.cmx -c build/clang_ast_proj.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_visit.cmx -c clang_ast_visit.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_j.cmx -c build/clang_ast_j.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_v.cmx -c build/clang_ast_v.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_main.cmx -c clang_ast_main.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_converter.cmx -c clang_ast_converter.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -o build/clang_ast_named_decl_printer.cmx -c clang_ast_named_decl_printer.ml ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -linkpkg -o build/clang_ast_converter build/clang_ast_types.cmx build/clang_ast_t.cmx build/clang_ast_j.cmx build/process.cmx build/utils.cmx build/yojson_utils.cmx build/clang_ast_converter.cmx ocamlfind ocamlopt -package unix,atdgen,camlzip -I build -linkpkg -o build/clang_ast_named_decl_printer build/clang_ast_types.cmx build/clang_ast_t.cmx build/clang_ast_j.cmx build/clang_ast_proj.cmx build/clang_ast_visit.cmx build/clang_ast_v.cmx build/clang_ast_main.cmx build/clang_ast_named_decl_printer.cmx /Applications/Xcode.app/Contents/Developer/usr/bin/make -C /Users/yinshen/Desktop/infer-osx-v0.5.0/infer clang /Applications/Xcode.app/Contents/Developer/usr/bin/make -C /Users/yinshen/Desktop/infer-osx-v0.5.0/infer/src clang TMPFILE=$(mktemp backend/version.ml.tmp.XXXX); \ INFER_GIT_COMMIT=$(git rev-parse --short HEAD || printf "unknown"); \ INFER_GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD || printf "unknown"); \ sed \ -e 's|@INFER_MAJOR[@]|0|g' \ -e 's|@INFER_MINOR[@]|5|g' \ -e 's|@INFER_PATCH[@]|0|g' \ -e 's|@INFER_IS_RELEASE[@]|yes|g' \ -e "s|@INFER_GIT_COMMIT[@]|$INFER_GIT_COMMIT|g" \ -e "s|@INFER_GIT_BRANCH[@]|$INFER_GIT_BRANCH|g" \ backend/version.ml.in > "$TMPFILE"; \ /usr/bin/install -c -m 644 -C $TMPFILE backend/version.ml; \ rm -f $TMPFILE mkdir -p /Users/yinshen/Desktop/infer-osx-v0.5.0/infer/_build-infer atdgen -t /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast atdgen -b /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast atdgen -j /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast atdgen -v /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast /usr/bin/install -c -m 644 -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast_proj.ml clang/clang_ast_proj.ml /usr/bin/install -c -m 644 -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast_proj.mli clang/clang_ast_proj.mli /usr/bin/install -c -m 644 -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/clang_ast_visit.ml clang/clang_ast_visit.ml /usr/bin/install -c -m 644 -C /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/clang_ast_main.ml clang/clang_ast_main.ml tr -s '[*!"#&()+,.\/:;<=>\?@[\]^`{|}~[:space:]]' '\n' \ < /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd \ | sort | uniq \

/Users/yinshen/Desktop/infer-osx-v0.5.0/infer/etc/clang_ast.dict fatal: Needed a single revision atdgen -t /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast fatal: ambiguous argument 'HEAD': unknown revision or path not in the working tree. Use '--' to separate paths from revisions, like this: 'git [...] -- [...]' sed: 1: "s|@INFER_GIT_BRANCH[@]| ...": unescaped newline inside substitute pattern atdgen -v /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast atdgen -b /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast atdgen -j /Users/yinshen/Desktop/infer-osx-v0.5.0/facebook-clang-plugins/clang-ocaml/build/clang_ast.atd -o clang/clang_ast ocamlbuild -cflags -annot -cflags -bin-annot -classic-display -cflags -warn-error,@5@8@10..12@20@26@39 -lflags -I,/Users/yinshen/.opam/system/lib/easy-format,-I,/Users/yinshen/.opam/system/lib/biniou,-I,/Users/yinshen/.opam/system/lib/yojson,-I,/Users/yinshen/.opam/system/lib/atdgen,-I,/Users/yinshen/.opam/system/lib/extlib,-I,/Users/yinshen/.opam/system/lib/camlzip/../zip -cflags -I,/Users/yinshen/.opam/system/lib/easy-format,-I,/Users/yinshen/.opam/system/lib/biniou,-I,/Users/yinshen/.opam/system/lib/yojson,-I,/Users/yinshen/.opam/system/lib/atdgen,-I,/Users/yinshen/.opam/system/lib/extlib,-I,/Users/yinshen/.opam/system/lib/camlzip/../zip -lib unix -lib str -lib atdgen -lib extLib -lib zip -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 -safe-string -j 0 -I backend -I checkers -I facebook/checkers -I facebook/checkers/graphql -I facebook/scripts -I harness -I opensource -build-dir /Users/yinshen/Desktop/infer-osx-v0.5.0/infer/_build-infer/clang \ backend/inferanalyze.native \ backend/inferprint.native \ clang/cMain.native /usr/local/bin/ocamldep.opt -modules backend/inferanalyze.ml > backend/inferanalyze.ml.depends /usr/local/bin/ocamldep.opt -modules backend/callbacks.mli > backend/callbacks.mli.depends /usr/local/bin/ocamldep.opt -modules backend/cfg.mli > backend/cfg.mli.depends /usr/local/bin/ocamldep.opt -modules backend/DB.mli > backend/DB.mli.depends /usr/local/bin/ocamldep.opt -modules backend/errlog.mli > backend/errlog.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/DB.cmi backend/DB.mli /usr/local/bin/ocamldep.opt -modules backend/exceptions.mli > backend/exceptions.mli.depends /usr/local/bin/ocamldep.opt -modules backend/ident.mli > backend/ident.mli.depends /usr/local/bin/ocamldep.opt -modules backend/latex.mli > backend/latex.mli.depends /usr/local/bin/ocamldep.opt -modules backend/utils.mli > backend/utils.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/utils.cmi backend/utils.mli /usr/local/bin/ocamldep.opt -modules backend/mangled.mli > backend/mangled.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/latex.cmi backend/latex.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/mangled.cmi backend/mangled.mli /usr/local/bin/ocamldep.opt -modules backend/localise.mli > backend/localise.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/ident.cmi backend/ident.mli /usr/local/bin/ocamldep.opt -modules backend/location.mli > backend/location.mli.depends /usr/local/bin/ocamldep.opt -modules backend/procname.mli > backend/procname.mli.depends /usr/local/bin/ocamldep.opt -modules backend/prop.mli > backend/prop.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/location.cmi backend/location.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/procname.cmi backend/procname.mli /usr/local/bin/ocamldep.opt -modules backend/sil.mli > backend/sil.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/sil.cmi backend/sil.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/prop.cmi backend/prop.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/localise.cmi backend/localise.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/exceptions.cmi backend/exceptions.mli /usr/local/bin/ocamldep.opt -modules backend/procAttributes.mli > backend/procAttributes.mli.depends /usr/local/bin/ocamldep.opt -modules backend/config.ml > backend/config.ml.depends /usr/local/bin/ocamldep.opt -modules backend/CRC.mli > backend/CRC.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/CRC.cmi backend/CRC.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/errlog.cmi backend/errlog.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/config.cmo backend/config.ml /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/procAttributes.cmi backend/procAttributes.mli /usr/local/bin/ocamldep.opt -modules backend/cg.mli > backend/cg.mli.depends /usr/local/bin/ocamldep.opt -modules backend/exe_env.mli > backend/exe_env.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cfg.cmi backend/cfg.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cg.cmi backend/cg.mli /usr/local/bin/ocamldep.opt -modules checkers/idenv.mli > checkers/idenv.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/exe_env.cmi backend/exe_env.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/idenv.cmi checkers/idenv.mli /usr/local/bin/ocamldep.opt -modules checkers/checkers.mli > checkers/checkers.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/callbacks.cmi backend/callbacks.mli /usr/local/bin/ocamldep.opt -modules backend/printer.mli > backend/printer.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/printer.cmi backend/printer.mli /usr/local/bin/ocamldep.opt -modules backend/cluster.ml > backend/cluster.ml.depends /usr/local/bin/ocamldep.opt -modules backend/iList.mli > backend/iList.mli.depends /usr/local/bin/ocamldep.opt -modules backend/logging.mli > backend/logging.mli.depends /usr/local/bin/ocamldep.opt -modules backend/ondemand.mli > backend/ondemand.mli.depends /usr/local/bin/ocamldep.opt -modules backend/serialization.mli > backend/serialization.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/iList.cmi backend/iList.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/logging.cmi backend/logging.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/ondemand.cmi backend/ondemand.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/serialization.cmi backend/serialization.mli /usr/local/bin/ocamldep.opt -modules backend/clusterMakefile.ml > backend/clusterMakefile.ml.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cluster.cmo backend/cluster.ml /usr/local/bin/ocamldep.opt -modules checkers/codeQuery.mli > checkers/codeQuery.mli.depends /usr/local/bin/ocamldep.opt -modules opensource/facebook.ml > opensource/facebook.ml.depends /usr/local/bin/ocamldep.opt -modules backend/fork.mli > backend/fork.mli.depends /usr/local/bin/ocamldep.opt -modules backend/specs.mli > backend/specs.mli.depends /usr/local/bin/ocamldep.opt -modules backend/callTree.mli > backend/callTree.mli.depends /usr/local/bin/ocamldep.opt -modules backend/paths.mli > backend/paths.mli.depends /usr/local/bin/ocamldep.opt -modules backend/propset.mli > backend/propset.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/propset.cmi backend/propset.mli /usr/local/bin/ocamldep.opt -modules checkers/typeState.mli > checkers/typeState.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/typeAnnotation.mli > checkers/typeAnnotation.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/annotations.mli > checkers/annotations.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/typeErr.mli > checkers/typeErr.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/annotations.cmi checkers/annotations.mli /usr/local/bin/ocamldep.opt -modules checkers/typeOrigin.mli > checkers/typeOrigin.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeErr.cmi checkers/typeErr.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeOrigin.cmi checkers/typeOrigin.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeAnnotation.cmi checkers/typeAnnotation.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/callTree.cmi backend/callTree.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/paths.cmi backend/paths.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeState.cmi checkers/typeState.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/specs.cmi backend/specs.mli /usr/local/bin/ocamldep.opt -modules backend/interproc.mli > backend/interproc.mli.depends /usr/local/bin/ocamldep.opt -modules backend/mleak_buckets.mli > backend/mleak_buckets.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/registerCheckers.ml > checkers/registerCheckers.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/callbackChecker.mli > checkers/callbackChecker.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/checkDeadCode.mli > checkers/checkDeadCode.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/checkers.cmi checkers/checkers.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codeQuery.cmi checkers/codeQuery.mli /usr/local/bin/ocamldep.opt -modules checkers/dataflow.mli > checkers/dataflow.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/eradicate.mli > checkers/eradicate.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/typeCheck.mli > checkers/typeCheck.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeCheck.cmi checkers/typeCheck.mli /usr/local/bin/ocamldep.opt -modules checkers/immutableChecker.mli > checkers/immutableChecker.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/performanceCritical.mli > checkers/performanceCritical.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/printfArgs.mli > checkers/printfArgs.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/repeatedCallsChecker.mli > checkers/repeatedCallsChecker.mli.depends /usr/local/bin/ocamldep.opt -modules checkers/sqlChecker.mli > checkers/sqlChecker.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/callbackChecker.cmi checkers/callbackChecker.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/checkDeadCode.cmi checkers/checkDeadCode.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/dataflow.cmi checkers/dataflow.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/eradicate.cmi checkers/eradicate.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/immutableChecker.cmi checkers/immutableChecker.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/performanceCritical.cmi checkers/performanceCritical.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/printfArgs.cmi checkers/printfArgs.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/repeatedCallsChecker.cmi checkers/repeatedCallsChecker.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/sqlChecker.cmi checkers/sqlChecker.mli /usr/local/bin/ocamldep.opt -modules backend/symExec.mli > backend/symExec.mli.depends /usr/local/bin/ocamldep.opt -modules backend/version.mli > backend/version.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/clusterMakefile.cmo backend/clusterMakefile.ml /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I opensource -I harness -I checkers -I backend -o opensource/facebook.cmo opensource/facebook.ml /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/fork.cmi backend/fork.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/interproc.cmi backend/interproc.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/mleak_buckets.cmi backend/mleak_buckets.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/registerCheckers.cmo checkers/registerCheckers.ml /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/symExec.cmi backend/symExec.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/version.cmi backend/version.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/inferanalyze.cmo backend/inferanalyze.ml /usr/local/bin/ocamldep.opt -modules backend/callbacks.ml > backend/callbacks.ml.depends /usr/local/bin/ocamldep.opt -modules backend/cfg.ml > backend/cfg.ml.depends /usr/local/bin/ocamldep.opt -modules backend/attributesTable.ml > backend/attributesTable.ml.depends /usr/local/bin/ocamldep.opt -modules backend/attributesTable.mli > backend/attributesTable.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/attributesTable.cmi backend/attributesTable.mli /usr/local/bin/ocamldep.opt -modules backend/CRC.ml > backend/CRC.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/CRC.cmx backend/CRC.ml /usr/local/bin/ocamldep.opt -modules backend/DB.ml > backend/DB.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/config.cmx backend/config.ml /usr/local/bin/ocamldep.opt -modules backend/iList.ml > backend/iList.ml.depends /usr/local/bin/ocamldep.opt -modules backend/logging.ml > backend/logging.ml.depends /usr/local/bin/ocamldep.opt -modules backend/utils.ml > backend/utils.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/iList.cmx backend/iList.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/utils.cmx backend/utils.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/logging.cmx backend/logging.ml /usr/local/bin/ocamldep.opt -modules backend/procAttributes.ml > backend/procAttributes.ml.depends /usr/local/bin/ocamldep.opt -modules backend/errlog.ml > backend/errlog.ml.depends /usr/local/bin/ocamldep.opt -modules backend/exceptions.ml > backend/exceptions.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/DB.cmx backend/DB.ml /usr/local/bin/ocamldep.opt -modules backend/ident.ml > backend/ident.ml.depends /usr/local/bin/ocamldep.opt -modules backend/latex.ml > backend/latex.ml.depends /usr/local/bin/ocamldep.opt -modules backend/mangled.ml > backend/mangled.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/latex.cmx backend/latex.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/mangled.cmx backend/mangled.ml /usr/local/bin/ocamldep.opt -modules backend/localise.ml > backend/localise.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/ident.cmx backend/ident.ml /usr/local/bin/ocamldep.opt -modules backend/location.ml > backend/location.ml.depends /usr/local/bin/ocamldep.opt -modules backend/procname.ml > backend/procname.ml.depends /usr/local/bin/ocamldep.opt -modules backend/prop.ml > backend/prop.ml.depends /usr/local/bin/ocamldep.opt -modules backend/io_infer.ml > backend/io_infer.ml.depends /usr/local/bin/ocamldep.opt -modules backend/io_infer.mli > backend/io_infer.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/io_infer.cmi backend/io_infer.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/procname.cmx backend/procname.ml /usr/local/bin/ocamldep.opt -modules backend/sil.ml > backend/sil.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/io_infer.cmx backend/io_infer.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/location.cmx backend/location.ml /usr/local/bin/ocamldep.opt -modules backend/serialization.ml > backend/serialization.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/serialization.cmx backend/serialization.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/sil.cmx backend/sil.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/prop.cmx backend/prop.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/localise.cmx backend/localise.ml /usr/local/bin/ocamldep.opt -modules backend/mleak_buckets.ml > backend/mleak_buckets.ml.depends /usr/local/bin/ocamldep.opt -modules backend/objc_models.ml > backend/objc_models.ml.depends /usr/local/bin/ocamldep.opt -modules backend/objc_models.mli > backend/objc_models.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/objc_models.cmi backend/objc_models.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/objc_models.cmx backend/objc_models.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/exceptions.cmx backend/exceptions.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/mleak_buckets.cmx backend/mleak_buckets.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/errlog.cmx backend/errlog.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/procAttributes.cmx backend/procAttributes.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/attributesTable.cmx backend/attributesTable.ml /usr/local/bin/ocamldep.opt -modules backend/cg.ml > backend/cg.ml.depends /usr/local/bin/ocamldep.opt -modules backend/exe_env.ml > backend/exe_env.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cfg.cmx backend/cfg.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cg.cmx backend/cg.ml /usr/local/bin/ocamldep.opt -modules checkers/idenv.ml > checkers/idenv.ml.depends /usr/local/bin/ocamldep.opt -modules backend/errdesc.ml > backend/errdesc.ml.depends /usr/local/bin/ocamldep.opt -modules backend/errdesc.mli > backend/errdesc.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/errdesc.cmi backend/errdesc.mli /usr/local/bin/ocamldep.opt -modules backend/buckets.ml > backend/buckets.ml.depends /usr/local/bin/ocamldep.opt -modules backend/buckets.mli > backend/buckets.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/buckets.cmi backend/buckets.mli /usr/local/bin/ocamldep.opt -modules backend/paths.ml > backend/paths.ml.depends /usr/local/bin/ocamldep.opt -modules backend/propset.ml > backend/propset.ml.depends /usr/local/bin/ocamldep.opt -modules backend/propgraph.ml > backend/propgraph.ml.depends /usr/local/bin/ocamldep.opt -modules backend/propgraph.mli > backend/propgraph.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/propgraph.cmi backend/propgraph.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/propgraph.cmx backend/propgraph.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/propset.cmx backend/propset.ml /usr/local/bin/ocamldep.opt -modules backend/state.ml > backend/state.ml.depends /usr/local/bin/ocamldep.opt -modules backend/state.mli > backend/state.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/state.cmi backend/state.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/paths.cmx backend/paths.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/state.cmx backend/state.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/buckets.cmx backend/buckets.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/errdesc.cmx backend/errdesc.ml /usr/local/bin/ocamldep.opt -modules backend/specs.ml > backend/specs.ml.depends /usr/local/bin/ocamldep.opt -modules backend/callTree.ml > backend/callTree.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/typeState.ml > checkers/typeState.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/patternMatch.ml > checkers/patternMatch.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/patternMatch.mli > checkers/patternMatch.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/patternMatch.cmi checkers/patternMatch.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/idenv.cmx checkers/idenv.ml /usr/local/bin/ocamldep.opt -modules checkers/typeAnnotation.ml > checkers/typeAnnotation.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/annotations.ml > checkers/annotations.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/patternMatch.cmx checkers/patternMatch.ml /usr/local/bin/ocamldep.opt -modules checkers/typeErr.ml > checkers/typeErr.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/annotations.cmx checkers/annotations.ml /usr/local/bin/ocamldep.opt -modules checkers/typeOrigin.ml > checkers/typeOrigin.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/modelTables.ml > checkers/modelTables.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/modelTables.mli > checkers/modelTables.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/modelTables.cmi checkers/modelTables.mli /usr/local/bin/ocamldep.opt -modules checkers/models.ml > checkers/models.ml.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/models.cmo checkers/models.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/modelTables.cmx checkers/modelTables.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeErr.cmx checkers/typeErr.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/models.cmx checkers/models.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeOrigin.cmx checkers/typeOrigin.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeAnnotation.cmx checkers/typeAnnotation.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/callTree.cmx backend/callTree.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeState.cmx checkers/typeState.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/exe_env.cmx backend/exe_env.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/specs.cmx backend/specs.ml /usr/local/bin/ocamldep.opt -modules checkers/checkers.ml > checkers/checkers.ml.depends /usr/local/bin/ocamldep.opt -modules backend/printer.ml > backend/printer.ml.depends /usr/local/bin/ocamldep.opt -modules backend/reporting.ml > backend/reporting.ml.depends /usr/local/bin/ocamldep.opt -modules backend/reporting.mli > backend/reporting.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/reporting.cmi backend/reporting.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/callbacks.cmx backend/callbacks.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/printer.cmx backend/printer.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/reporting.cmx backend/reporting.ml /usr/local/bin/ocamldep.opt -modules backend/ondemand.ml > backend/ondemand.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/checkers.cmx checkers/checkers.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/ondemand.cmx backend/ondemand.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/cluster.cmx backend/cluster.ml /usr/local/bin/ocamldep.opt -modules checkers/codeQuery.ml > checkers/codeQuery.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/codeQueryAst.ml > checkers/codeQueryAst.ml.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codeQueryAst.cmo checkers/codeQueryAst.ml /usr/local/bin/ocamllex.opt -q checkers/codequeryLexer.mll /usr/local/bin/ocamldep.opt -modules checkers/codequeryLexer.ml > checkers/codequeryLexer.ml.depends /usr/local/bin/ocamlyacc checkers/codequeryParser.mly /usr/local/bin/ocamldep.opt -modules checkers/codequeryParser.mli > checkers/codequeryParser.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codequeryParser.cmi checkers/codequeryParser.mli /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codequeryLexer.cmo checkers/codequeryLexer.ml /usr/local/bin/ocamldep.opt -modules checkers/codequeryParser.ml > checkers/codequeryParser.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codeQueryAst.cmx checkers/codeQueryAst.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codequeryParser.cmx checkers/codequeryParser.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codequeryLexer.cmx checkers/codequeryLexer.ml /usr/local/bin/ocamldep.opt -modules backend/fork.ml > backend/fork.ml.depends /usr/local/bin/ocamldep.opt -modules backend/interproc.ml > backend/interproc.ml.depends /usr/local/bin/ocamldep.opt -modules backend/abs.ml > backend/abs.ml.depends /usr/local/bin/ocamldep.opt -modules backend/abs.mli > backend/abs.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/abs.cmi backend/abs.mli /usr/local/bin/ocamldep.opt -modules backend/absarray.ml > backend/absarray.ml.depends /usr/local/bin/ocamldep.opt -modules backend/absarray.mli > backend/absarray.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/absarray.cmi backend/absarray.mli /usr/local/bin/ocamldep.opt -modules backend/dotty.ml > backend/dotty.ml.depends /usr/local/bin/ocamldep.opt -modules backend/dotty.mli > backend/dotty.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/dotty.cmi backend/dotty.mli /usr/local/bin/ocamldep.opt -modules backend/prover.ml > backend/prover.ml.depends /usr/local/bin/ocamldep.opt -modules backend/prover.mli > backend/prover.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/prover.cmi backend/prover.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/prover.cmx backend/prover.ml /usr/local/bin/ocamldep.opt -modules backend/match.ml > backend/match.ml.depends /usr/local/bin/ocamldep.opt -modules backend/match.mli > backend/match.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/match.cmi backend/match.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/absarray.cmx backend/absarray.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/dotty.cmx backend/dotty.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/match.cmx backend/match.ml /usr/local/bin/ocamldep.opt -modules harness/androidFramework.ml > harness/androidFramework.ml.depends /usr/local/bin/ocamldep.opt -modules harness/androidFramework.mli > harness/androidFramework.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/androidFramework.cmi harness/androidFramework.mli /usr/local/bin/ocamldep.opt -modules checkers/constantPropagation.ml > checkers/constantPropagation.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/constantPropagation.mli > checkers/constantPropagation.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/constantPropagation.cmi checkers/constantPropagation.mli /usr/local/bin/ocamldep.opt -modules checkers/dataflow.ml > checkers/dataflow.ml.depends /usr/local/bin/ocamldep.opt -modules backend/symExec.ml > backend/symExec.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/abs.cmx backend/abs.ml /usr/local/bin/ocamldep.opt -modules checkers/printfArgs.ml > checkers/printfArgs.ml.depends /usr/local/bin/ocamldep.opt -modules backend/rearrange.ml > backend/rearrange.ml.depends /usr/local/bin/ocamldep.opt -modules backend/rearrange.mli > backend/rearrange.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/rearrange.cmi backend/rearrange.mli /usr/local/bin/ocamldep.opt -modules backend/tabulation.ml > backend/tabulation.ml.depends /usr/local/bin/ocamldep.opt -modules backend/tabulation.mli > backend/tabulation.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/tabulation.cmi backend/tabulation.mli /usr/local/bin/ocamldep.opt -modules opensource/taint.ml > opensource/taint.ml.depends /usr/local/bin/ocamldep.opt -modules opensource/taint.mli > opensource/taint.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I opensource -I harness -I checkers -I backend -o opensource/taint.cmi opensource/taint.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I opensource -I harness -I checkers -I backend -o opensource/taint.cmx opensource/taint.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/printfArgs.cmx checkers/printfArgs.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/rearrange.cmx backend/rearrange.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/tabulation.cmx backend/tabulation.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/symExec.cmx backend/symExec.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/dataflow.cmx checkers/dataflow.ml /usr/local/bin/ocamldep.opt -modules backend/dom.ml > backend/dom.ml.depends /usr/local/bin/ocamldep.opt -modules backend/dom.mli > backend/dom.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/dom.cmi backend/dom.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/fork.cmx backend/fork.ml /usr/local/bin/ocamldep.opt -modules harness/harness.ml > harness/harness.ml.depends /usr/local/bin/ocamldep.opt -modules harness/harness.mli > harness/harness.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/harness.cmi harness/harness.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/androidFramework.cmx harness/androidFramework.ml /usr/local/bin/ocamldep.opt -modules harness/inhabit.ml > harness/inhabit.ml.depends /usr/local/bin/ocamldep.opt -modules harness/inhabit.mli > harness/inhabit.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/inhabit.cmi harness/inhabit.mli /usr/local/bin/ocamldep.opt -modules harness/stacktrace.ml > harness/stacktrace.ml.depends /usr/local/bin/ocamldep.opt -modules harness/stacktrace.mli > harness/stacktrace.mli.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/stacktrace.cmi harness/stacktrace.mli /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/inhabit.cmx harness/inhabit.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/stacktrace.cmx harness/stacktrace.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/constantPropagation.cmx checkers/constantPropagation.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/dom.cmx backend/dom.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I harness -I opensource -I checkers -I backend -o harness/harness.cmx harness/harness.ml /usr/local/bin/ocamldep.opt -modules checkers/callbackChecker.ml > checkers/callbackChecker.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/eradicate.ml > checkers/eradicate.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/eradicateChecks.ml > checkers/eradicateChecks.ml.depends /usr/local/bin/ocamlc.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/eradicateChecks.cmo checkers/eradicateChecks.ml /usr/local/bin/ocamldep.opt -modules checkers/typeCheck.ml > checkers/typeCheck.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/eradicateChecks.cmx checkers/eradicateChecks.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/typeCheck.cmx checkers/typeCheck.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/eradicate.cmx checkers/eradicate.ml /usr/local/bin/ocamldep.opt -modules checkers/checkDeadCode.ml > checkers/checkDeadCode.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/codeQuery.cmx checkers/codeQuery.ml /usr/local/bin/ocamldep.opt -modules checkers/immutableChecker.ml > checkers/immutableChecker.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/performanceCritical.ml > checkers/performanceCritical.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/repeatedCallsChecker.ml > checkers/repeatedCallsChecker.ml.depends /usr/local/bin/ocamldep.opt -modules checkers/sqlChecker.ml > checkers/sqlChecker.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/callbackChecker.cmx checkers/callbackChecker.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/checkDeadCode.cmx checkers/checkDeadCode.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/immutableChecker.cmx checkers/immutableChecker.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/performanceCritical.cmx checkers/performanceCritical.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/repeatedCallsChecker.cmx checkers/repeatedCallsChecker.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/sqlChecker.cmx checkers/sqlChecker.ml /usr/local/bin/ocamldep.opt -modules backend/version.ml > backend/version.ml.depends /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/clusterMakefile.cmx backend/clusterMakefile.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I opensource -I harness -I checkers -I backend -o opensource/facebook.cmx opensource/facebook.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/interproc.cmx backend/interproc.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I checkers -I opensource -I harness -I backend -o checkers/registerCheckers.cmx checkers/registerCheckers.ml /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/version.cmx backend/version.ml

  • /usr/local/bin/ocamlopt.opt -c -annot -bin-annot -warn-error @5@8@10..12@20@26@39 -I /Users/yinshen/.opam/system/lib/easy-format -I /Users/yinshen/.opam/system/lib/biniou -I /Users/yinshen/.opam/system/lib/yojson -I /Users/yinshen/.opam/system/lib/atdgen -I /Users/yinshen/.opam/system/lib/extlib -I /Users/yinshen/.opam/system/lib/camlzip/../zip -safe-string -I backend -I opensource -I harness -I checkers -o backend/version.cmx backend/version.ml File "backend/version.ml", line 1: Error: The implementation backend/version.ml does not match the interface backend/version.cmi: The value versionJson' is required but not provided The valueversionString' is required but not provided Command exited with code 2. make[2]: * [build_clang] Error 10 make[1]: * [clang] Error 2 make: *\ [clang] Error 2 compilation failure; try running "make clean"
jvillard commented 8 years ago

fatal: ambiguous argument 'HEAD': unknown revision or path not in the working tree.

It looks like you're inside an unitialised git repo for some reason. You can run git rev-parse --show-toplevel to find out the root of the repo. You probably don't want that so you can either remove the .git/ repository located at git rev-parse --show-toplevel, or unpack infer somewhere else, eg /tmp.

We'll fix this soon so that the build works even in this case, thanks!