Package Details: infer 1.1.0-1

Git Clone URL: https://aur.archlinux.org/infer.git (read-only, click to copy)
Package Base: infer
Description: A static analyzer for Java, C, C++, and Objective-C
Upstream URL: https://github.com/facebook/infer
Keywords:
Licenses: MIT
Submitter: proninyaroslav
Maintainer: MrAnno
Last Packager: carsme
Votes: 10
Popularity: 0.000925
First Submitted: 2015-08-10 07:52 (UTC)
Last Updated: 2022-03-07 08:48 (UTC)

Dependencies (9)

Required by (0)

Sources (1)

Pinned Comments

carsme commented on 2022-03-07 08:50 (UTC)

NOTE: Building this package takes 2 hours on my machine and will allocate ~30 GB in your $pkgdir. The reason for this is that we're required to rebuild Clang.

For most users the binary package will be a better option: https://aur.archlinux.org/packages/infer-bin.

Latest Comments

« First ‹ Previous 1 2

Forty-Bot commented on 2017-10-17 00:12 (UTC) (edited on 2017-10-17 00:12 (UTC) by Forty-Bot)

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 (UTC)

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 https://opam.ocaml.org =-=- Installing compiler 4.02.3 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [compiler.get] http://caml.inria.fr/pub/distrib/ocaml-4.02/ocaml-4.02.3.tar.gz downloaded Now compiling OCaml. This may take a while, please bear with us... Done. [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 OpamGlobals.Exit(66) ==> ERROR: A failure occurred in build(). Aborting... ==> ERROR: Makepkg was unable to build infer.

larsrh commented on 2017-06-13 09:14 (UTC)

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

djankovic commented on 2017-01-26 12:26 (UTC)

Please update this package. Thanks!

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

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

proninyaroslav commented on 2016-01-31 07:49 (UTC) (edited on 2016-01-31 07:50 (UTC) by proninyaroslav)

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)

proninyaroslav commented on 2016-01-06 09:58 (UTC)

@imran27 I will try fix in version 0.5.0.

imran27 commented on 2016-01-06 09:44 (UTC) (edited on 2016-01-06 09:45 (UTC) by imran27)

Build fails. [ERROR] Compiler build failed at "make world" Error: Unbound module Odoc_info [ERROR] Initialisation failed OpamGlobals.Exit(66) What to do now?

proninyaroslav commented on 2015-08-29 08:06 (UTC)

@technion 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 (UTC)

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

« First ‹ Previous 1 2