Arch Linux User Repository

Here's a patch for updating the PKGBUILD to v1.2.0:

diff --git a/PKGBUILD b/PKGBUILD
index fd8f5ec..fb02ef5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Martoko <mbastholm at gmail dot com>

 pkgname=infer-bin
-pkgver=1.1.0
+pkgver=1.2.0
 pkgrel=1
 pkgdesc="Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml."
 arch=('x86_64')
@@ -11,13 +11,13 @@ license=('MIT')
 depends=('libc++abi'
 'java-environment'
 'ncurses5-compat-libs')
-source=("https://github.com/facebook/infer/releases/download/v${pkgver}/infer-linux64-v${pkgver}.tar.xz"
+source=("https://github.com/facebook/infer/releases/download/v${pkgver}/infer-linux-x86_64-v${pkgver}.tar.xz"
 'FailingTest.c'
 'PassingTest.c'
 'FailingTest.java'
 'PassingTest.java'
 'LICENSE')
-sha512sums=('b657b5e7efe86b74391f1592d29ef3b9d3e8604851e9ac1dc43003541a02c21877a51cf78df28bf6d6872646340305271f4a919ce7f86c9d967724389ad39477'
+sha512sums=('3656547f86666214fb4b9ec2098b3fa511cb25e4485f1d802a8ac376a9a1cd32ec051111b428db7ad8981a579247dbcff917f20024dded442cb62e95e0f0e4e0'
 'e72e043048624ef958dcb03c73b042d17ee162d80f5f9798dd89b25b9ceca6e4852fc4627ac7c1d5162c73834431f61f52d3b37a4f990d1a19dc927665adbb04'
 'd5333a55e34e92225dd2018a1b016c0ffe537773ea8d708cd74e2ae8c6e556cec8998028238fb993a000ef0841a6a21f7585893a58fb6c2208122951b717dd78'
 '716d142870b12af04a19d81197b96f91af1544d1d8f2a4d09248d161cb4995ef3ff4611f8bd175a0553f0911cf24efa79ef97e36a14667f5b2027e053576d880'
@@ -25,18 +25,18 @@ sha512sums=('b657b5e7efe86b74391f1592d29ef3b9d3e8604851e9ac1dc43003541a02c21877a
 '400e5fff25247fb0fa8c0125073658c8f429c39fc20efefe9a8a69b5c5f925a9df1818b324e6691884ba108463908b75758f07b4796bf9fb972401696d3371f4')

 check() {
- ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- clang -c FailingTest.c && return 1
- ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- clang -c PassingTest.c || return 1
+ ${srcdir}/infer-linux-x86_64-v${pkgver}/bin/infer --fail-on-issue -- clang -c FailingTest.c && return 1
+ ${srcdir}/infer-linux-x86_64-v${pkgver}/bin/infer --fail-on-issue -- clang -c PassingTest.c || return 1

- ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- javac FailingTest.java && return 1
- ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- javac PassingTest.java || return 1
+ ${srcdir}/infer-linux-x86_64-v${pkgver}/bin/infer --fail-on-issue -- javac FailingTest.java && return 1
+ ${srcdir}/infer-linux-x86_64-v${pkgver}/bin/infer --fail-on-issue -- javac PassingTest.java || return 1
 }

 package() {
 mkdir ${pkgdir}/usr
- cp -r ${srcdir}/infer-linux64-v${pkgver}/bin ${pkgdir}/usr/bin
- cp -r ${srcdir}/infer-linux64-v${pkgver}/lib ${pkgdir}/usr/lib
- cp -r ${srcdir}/infer-linux64-v${pkgver}/share ${pkgdir}/usr/share
+ cp -r ${srcdir}/infer-linux-x86_64-v${pkgver}/bin ${pkgdir}/usr/bin
+ cp -r ${srcdir}/infer-linux-x86_64-v${pkgver}/lib ${pkgdir}/usr/lib
+ cp -r ${srcdir}/infer-linux-x86_64-v${pkgver}/share ${pkgdir}/usr/share

 install -D -m 644 ${srcdir}/LICENSE ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE 
 }

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