Source code Does not compile when compile under fake root

[gdf8gdn8]

infer version 1.1.0 Compile under ArchLinux. Try to compile source code. [06:02:29][ 71083] Building infer models... [ERROR*][71083] *** ERROR 'Building infer models' [ERROR*][71083] *** command: ' make INTERACTIVE=1 -C /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models all' [ERROR*][71083] *** CWD: '/home/uwe/.cache/yay/infer/src/infer-1.1.0' [ERROR*][71083] *** stdout: [ERROR*][71083] make[2]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR*][71083] make INTERACTIVE=1 clean [ERROR*][71083] make[3]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR*][71083] make[4]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/c/src' [ERROR*][71083] rm -rf glib.o infer_builtins.o libc_basic.o math.o wchar.o wctype.o xlib.o [ERROR*][71083] make[4]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/c/src' [ERROR*][71083] make[4]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/cpp/src' [ERROR*][71083] 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*][71083] make[4]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models/cpp/src' [ERROR*][71083] make[3]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR*][71083] make INTERACTIVE=1 capture [ERROR*][71083] make[3]: Entering directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR*][71083] *** inner Capturing C models [ERROR*][71083] *** inner command: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/bin/infer capture --jobs 1 --biabduction-only --results-dir infer-out --biabduction-models-mode --continue -- make INTERACTIVE=1 -C c/src all [ERROR*][71083] *** inner CWD: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models [ERROR*][71083] make[3]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models' [ERROR*][71083] make[2]: Leaving directory '/home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/models'

[ERROR*][71083] *** stderr: [ERROR*][71083] Uncaught Internal Error: (Sys_error "/etc/localtime: No such file or directory") [ERROR*][71083] Error backtrace:

[ERROR*][71083] Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 398, characters 28-54 [ERROR*][71083] Called from Stdio__In_channel.create in file "src/in_channel.ml" (inlined), line 17, characters 2-35 [ERROR*][71083] Called from Core_kernel__Zone.Stable.Full_data.V1.Zone_file.input_tz_file in file "src/zone.ml", line 348, characters 21-49 [ERROR*][71083] Called from Timezone.local.load in file "src/timezone.ml", line 142, characters 8-75 [ERROR*][71083] Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27 [ERROR*][71083] Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11 [ERROR*][71083] Called from IBase__ResultsDir.RunState.run_time_string in file "src/base/ResultsDir.ml", line 14, characters 24-53 [ERROR*][71083] [ERROR*][71083] Run the command again with --keep-going to try and ignore this error. [ERROR*][71083] make[3]: *** [Makefile:37: capture] Error 2 [ERROR*][71083] make[2]: *** [Makefile:65: /home/uwe/.cache/yay/infer/src/infer-1.1.0/infer/lib/models.sql] Error 2 make[1]: *** [Makefile:377: infer_models] Error 2

[Goblin80]

does this also happen with version infer v1.0.0?

[gdf8gdn8]

Yes.

[jf99]

I had the same issue when I tried to build infer v1.1.0 inside docker. Installing tzdata fixed the issue for me.