Package Details: infer 0.8.1-1

Git Clone URL: (read-only)
Package Base: infer
Description: Static Analyzer by Facebook
Upstream URL:
Licenses: BSD
Submitter: yaroslav
Maintainer: Forty-Bot
Last Packager: yaroslav
Votes: 6
Popularity: 0.148770
First Submitted: 2015-08-10 07:52
Last Updated: 2016-04-23 08:58

Latest Comments

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

yaroslav commented on 2016-01-31 07:49

Updated to 0.6.0. In case of problems with the launch remove and reinstall it.
If problems with opam during make:
$ opam switch 4.02.0
$ eval $(opam config env)

yaroslav commented on 2016-01-06 09:58


I will try fix in version 0.5.0.

imran27 commented on 2016-01-06 09:44

Build fails.

[ERROR] Compiler build failed at "make world"
Error: Unbound module Odoc_info
[ERROR] Initialisation failed

What to do now?

yaroslav commented on 2015-08-29 08:06


Hmm, I can make on your computer, and distribute the finished tarball. I hope that the dependents are the same everywhere.

technion commented on 2015-08-28 22:52

Just a heads up - trying to build this with 2G RAM will lead to the OOM killer taking over the process.