Package Details: infer-bin 1.1.0-1

Git Clone URL: https://aur.archlinux.org/infer-bin.git (read-only, click to copy)
Package Base: infer-bin
Description: Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Upstream URL: https://github.com/facebook/infer
Licenses: MIT
Submitter: martoko
Maintainer: rmf
Last Packager: rmf
Votes: 1
Popularity: 0.000000
First Submitted: 2018-12-24 12:50 (UTC)
Last Updated: 2021-03-29 02:11 (UTC)

Dependencies (3)

Required by (0)

Sources (6)

Latest Comments

xatierlike commented on 2024-02-19 10:02 (UTC)

Note that one may encounter the following error when using infra-bin package inside a container.

==> Starting check()...                                                             
Uncaught Internal Error: (Sys_error "/etc/localtime: No such file or directory")                                                                                         
Error backtrace:                                                                    
Raised by primitive operation at Stdlib.open_in_gen in file "stdlib.ml", line 398, characters 28-54
Called from Stdio__In_channel.create in file "src/in_channel.ml" (inlined), line 17, characters 2-35
Called from Core_kernel__Zone.Stable.Full_data.V1.Zone_file.input_tz_file in file "src/zone.ml", line 348, characters 21-49
Called from Timezone.local.load in file "src/timezone.ml", line 142, characters 8-75 
Called from CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 31, characters 17-27
Re-raised at CamlinternalLazy.force_lazy_block in file "camlinternalLazy.ml", line 36, characters 4-11
Called from IBase__ResultsDir.RunState.run_time_string in file "src/base/ResultsDir.ml", line 14, characters 24-53

Of course the workaround is to create the zone file.

sudo ln -s /usr/share/zoneinfo/UTC /etc/localtime