develop: infer build error

[yoonchan]

안녕하세요? develop 브랜치의 Sagan benchmark 성적이 과제 최종보고값(105 질의)과 차이가 있어서, 혹시 최신 develop의 실험결과가 좀 더 나을지 테스트해보고 있습니다.
그런데, infer 빌드에서부터 막히는데요 ㅎㅎㅎ
readme 내용대로 진행했는데, annotations 빌드를 실패하네요.
해당 디렉토리로 가보면 makefile이 없습니다.
빌드가 막히는 문제를 어떻게 해결하면 될까요?
로그는 아래와 같습니다.

❯ ./build-infer.sh java
initializing opam...

installing infer dependencies; this can take up to 30 minutes...
Nothing to do.
preparing build...
checking for .release... no
checking for .facebook... no
checking for build platform... Darwin
checking for Windows build... no
checking for xcode-select... xcode-select
checking for xcrun... xcrun
checking for clang... clang
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 the compiler supports GNU C... yes
checking whether clang accepts -g... yes
checking for clang option to enable C11 features... 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 for a race-free mkdir -p... ./install-sh -c -d
checking for ocamlc... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlc
OCaml version is 4.11.1
OCaml library path is /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/ocaml
checking for ocamlopt... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlopt
checking for ocamlc.opt... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlc.opt
checking for ocamlopt.opt... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlopt.opt
checking for dynlink.cmxa... yes
checking for ocaml... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocaml
checking for ocamldep... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamldep
checking for ocamlmktop... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlmktop
checking for ocamlmklib... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlmklib
checking for ocamldoc... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamldoc
checking for ocamlbuild... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlbuild
checking if OCaml version is >= 4.06.1... yes
checking for ocamlbuild... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlbuild
checking for ocamlfind... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamlfind
checking for ocamllex... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamllex
checking for ocamllex.opt... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/bin/ocamllex.opt
checking for menhir... menhir
checking for OCaml findlib package atdgen... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/atdgen
checking for OCaml findlib package biniou... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/biniou
checking for OCaml findlib package camlzip... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/camlzip
checking for OCaml findlib package easy-format... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/easy-format
checking for OCaml findlib package oUnit... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/oUnit
checking for utop... utop
checking for OCaml findlib package yojson... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/yojson
checking which ocamlformat to use... ocamlformat
checking for opam... opam
checking opam version... 2.1.2
checking current opam root... [WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.
/Users/securityteam/.opam
checking current opam switch... ocaml-variants.4.11.1+flambda
checking for java... java
checking for javac... javac
checking for OCaml findlib package javalib... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/javalib
checking for OCaml findlib package sawja... /Users/securityteam/.opam/ocaml-variants.4.11.1+flambda/lib/sawja
checking for Java major version... 8
checking for JAVA_HOME... /Library/Java/JavaVirtualMachines/adoptopenjdk-8.jdk/Contents/Home/jre/..
checking for inflateEnd in -lz... yes
checking for atdgen... atdgen
checking which .buckversion to use... dotbuckversion
checking for getconf... getconf
checking the number of cpus the build host has... 8
checking for ant... ant
checking for buck... no
checking for emacs... emacs
checking for mvn... mvn
checking for ndk-build... no
checking for ndk-build... no
checking for ninja... no
checking for xcpretty... no
checking for sed... sed
checking if sed is GNU sed... no
checking for gsed... no
checking for brew... brew
checking for install_name_tool... install_name_tool
checking for ldd... no
checking for otool... otool
checking for patchelf... no
configure: creating ./config.status
config.status: creating Makefile.autoconf
[10:14:41][50786] Generating source dependencies...
[ 0s][50786] SUCCESS Generating source dependencies
[10:14:41][51016] Building native(opt) Infer...
[ 167s][51016] SUCCESS Building native(opt) Infer
[10:17:28][56525] Building infer annotations...
[ERROR*][56525] *** ERROR 'Building infer annotations'
[ERROR*][56525] *** command: ' /Library/Developer/CommandLineTools/usr/bin/make INTERACTIVE=1 -C /Users/securityteam/workspace/spechunter-qa/Taint-Analysis/Code/infer/infer/annotations'
[ERROR*][56525] *** CWD: '/Users/securityteam/workspace/spechunter-qa/Taint-Analysis/Code/infer'
[ERROR*][56525] *** stdout:
[ERROR*][56525] *** stderr:
[ERROR*][56525] make: *** /Users/securityteam/workspace/spechunter-qa/Taint-Analysis/Code/infer/infer/annotations: No such file or directory. Stop.
make[1]: *** [infer_models] Error 2
make: *** [opt] Error 2

compilation failure; you can try running

make clean
'./build-infer.sh' java

[jeongsoolee09]

안녕하세요. 보는 중입니다.

[jeongsoolee09]

9c23371 should fix this issue