Package Details: infer 1.0.0-1

Git Clone URL: (read-only, click to copy)
Package Base: infer
Description: Static Analyzer by Facebook
Upstream URL:
Keywords: analyzer c c++ facebook java static
Licenses: BSD
Submitter: proninyaroslav
Maintainer: MrAnno
Last Packager: rmf
Votes: 8
Popularity: 0.002354
First Submitted: 2015-08-10 07:52
Last Updated: 2021-01-25 02:20

Dependencies (8)

Required by (0)

Sources (1)

Latest Comments

1 2 Next › Last »

maxemilian commented on 2021-09-22 08:26

I couldn't fetch from git repository, Could you update to the latest version?

M1cha commented on 2021-07-10 08:37

This PKGBUILD doesn't build pkver, it builds the latest commit from the default branch. Etiher checkout the correct version or rename this package to infer-git.

pmatos commented on 2020-05-05 09:45

Unfortunately this is not building properly.

Failure terminates with: <><> Creating initial switch (ocaml-base-compiler.4.02.3) <><><><><><><><><><><>

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [ocaml-base-compiler.4.02.3] downloaded from cache at

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> ∗ installed base-bigarray.base ∗ installed base-threads.base ∗ installed base-unix.base ∗ installed ocaml-base-compiler.4.02.3 ∗ installed ocaml-config.1 ∗ installed ocaml.4.02.3 ∗ installed base-ocamlbuild.base Done.

Run eval $(opam env) to update the current shell environment

[ERROR] No switch 4.02.1 is currently installed. Did you mean 'opam switch create 4.02.1'? Installed switches are: - 4.02.3

==> ERROR: A failure occurred in build(). Aborting... Error making: infer

Martoko commented on 2018-12-24 12:53

I have made a binary distribution available as infer-bin.

Forty-Bot commented on 2018-11-11 15:42

For anyone picking this up , I was never able to get infer working properly. Here's what I had locally:<>. I converted all the ocaml deps to aur packages, but I wasn't able to figure out how to get it to build against a clang in the aur due to the long build times. Good luck!

Forty-Bot commented on 2017-10-17 00:12

I'm aware that it doesn't build at the moment; I'm attempting to rewrite it to fix that (and other issues, such as its use of opam), coming Soon (TM).

KozRoss commented on 2017-10-16 23:55

This fails to build as follows:

==> Starting build()...
Checking for available remotes: rsync and local, git, mercurial.
- you won't be able to use darcs repositories unless you install the darcs command on your system.

=-=- Fetching repository information =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] synchronized from

=-=- Installing compiler 4.02.3 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[compiler.get] downloaded
Now compiling OCaml. This may take a while, please bear with us...
[WARNING] External solver failed:
# opam-version 1.2.2
# os linux
# command aspcud /home/koz/.opam/log/solver-in-5425-22e6fb /home/koz/.opam/log/solver-out-5425-36c7be -count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
# path /tmp/yaourt-tmp-koz/aur-infer/src
# exit-code 1
# env-file /home/koz/.opam/log/log-5425-316b43.env
# stdout-file /home/koz/.opam/log/log-5425-316b43.out
# stderr-file /home/koz/.opam/log/log-5425-316b43.err
### stderr ###
# error: executing gringo failed (No such file or directory)
# error: gringo returned with non-zero exit status

[ERROR] External solver failure, please fix your installation and check /home/koz/.opam/config and variable $OPAMEXTERNALSOLVER.
You may also retry with option --use-internal-solver
[ERROR] Initialisation failed
==> ERROR: A failure occurred in build().
==> ERROR: Makepkg was unable to build infer.

larsrh commented on 2017-06-13 09:14

This package should be called infer-git because it doesn't pull a specific revision.

djankovic commented on 2017-01-26 12:26

Please update this package. Thanks!

mathieu.clabaut commented on 2016-07-29 12:16

I got the following error while installing. Any idea why ?

=-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[infer] /tmp_dsk/makepkg/infer/src/infer/ already up-to-date
The following dependencies couldn't be met:
- infer -> reason
Your request can't be satisfied:
- No package named reason found.

No solution found, exiting