-
Notifications
You must be signed in to change notification settings - Fork 2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
source build infer models fail #1829
Comments
[ERROR*][80818] Capturing in make/cc mode... |
device: Apple M1 Max
version: macOS Sonoma
EVN:xcode 15
infer main branch
./build-infer.sh clang
[17:24:49][80532] Building clang plugin...
[ 0s][80532] SUCCESS Building clang plugin
[17:24:49][80548] Building clang plugin OCaml interface...
[ 0s][80548] SUCCESS Building clang plugin OCaml interface
[17:24:49][80565] Generating source dependencies...
[ 0s][80565] SUCCESS Generating source dependencies
[17:24:49][80708] Building native(opt) Infer...
[ 3s][80708] SUCCESS Building native(opt) Infer
[17:24:52][80818] Building infer models...
[ERROR*][80818] *** ERROR 'Building infer models'
[ERROR*][80818] *** command: ' /Applications/Xcode.app/Contents/Developer/usr/bin/make INTERACTIVE=1 -C /Users/developer/Documents/infer/infer/models all'
[ERROR*][80818] *** CWD: '/Users/developer/Documents/infer'
[ERROR*][80818] *** stdout:
[ERROR*][80818] /Applications/Xcode.app/Contents/Developer/usr/bin/make INTERACTIVE=1 clean
[ERROR*][80818] rm -rf glib.o infer_builtins.o libc_basic.o math.o wchar.o wctype.o xlib.o
[ERROR*][80818] rm -rf c_src/glib_cxx.o c_src/infer_builtins_cxx.o c_src/libc_basic_cxx.o c_src/math_cxx.o c_src/wchar_cxx.o c_src/wctype_cxx.o c_src/xlib_cxx.o shared_ptr.o throw_wrappers.o type_info.o
[ERROR*][80818] /Applications/Xcode.app/Contents/Developer/usr/bin/make INTERACTIVE=1 capture
[ERROR*][80818] *** inner Capturing C models
[ERROR*][80818] *** inner command: /Users/developer/Documents/infer/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --scheduler=file --continue -- /Applications/Xcode.app/Contents/Developer/usr/bin/make INTERACTIVE=1 -C c/src all
[ERROR*][80818] *** inner CWD: /Users/developer/Documents/infer/infer/models
[ERROR*][80818] clang -c -w glib.c -o glib.o
[ERROR*][80818] clang -c -w infer_builtins.c -o infer_builtins.o
[ERROR*][80818] clang -c -w libc_basic.c -o libc_basic.o
[ERROR*][80818] clang -c -w math.c -o math.o
[ERROR*][80818] clang -c -w wchar.c -o wchar.o
[ERROR*][80818] clang -c -w wctype.c -o wctype.o
[ERROR*][80818] clang -c -w xlib.c -o xlib.o
[ERROR*][80818] *** stderr:
The text was updated successfully, but these errors were encountered: