Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - infer

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: infer 0.8.1-1

Git Clone URL: https://aur-dev.archlinux.org/infer.git (read-only)
Package Base: infer
Description: Static Analyzer by Facebook
Upstream URL: https://github.com/facebook/infer
Licenses: BSD
Submitter: yaroslav
Maintainer: yaroslav
Last Packager: yaroslav
Votes: 5
Popularity: 0.172725
First Submitted: 2015-08-10 07:52
Last Updated: 2016-04-23 08:58

Latest Comments

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.