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.32
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

1 2 Next › Last »

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.

Forty-Bot commented on 2022-03-06 16:00 (UTC)

I did not realize that you have to rebuild Clang to build this from source. Takes forever and fills up my /tmp. Sort of makes the usefulness of this package questionable.

This is why I did not get it working.

carsme commented on 2022-03-06 14:53 (UTC)

@MrAnno Thank you, much appreciated!

I did not realize that you have to rebuild Clang to build this from source. Takes forever and fills up my /tmp. Sort of makes the usefulness of this package questionable.

Anyways, I'll try to get it to build and update to the latest version at least.

MrAnno commented on 2022-03-05 17:37 (UTC) (edited on 2022-03-08 19:49 (UTC) by MrAnno)

Just for reference: https://gist.github.com/MrAnno/156b84e39141e779d2df1964452c66bb

maxemilian commented on 2021-09-22 08:26 (UTC)

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

M1cha commented on 2021-07-10 08:37 (UTC)

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

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 https://opam.ocaml.org/cache

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

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

Forty-Bot commented on 2018-11-11 15:42 (UTC)

For anyone picking this up , I was never able to get infer working properly. Here's what I had locally:<https://github.com/Forty-Bot/infer>. 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 (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).