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.005236
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 »

rubin55 commented on 2024-09-26 09:05 (UTC) (edited on 2024-09-26 09:06 (UTC) by rubin55)

Fwiw, wanted to share my stats for building this hefty package: 20ish minutes on a 13900T (pushing ~200watt TDP, so unlocked in BIOS, default TDP=35, all 32 cores utilized P-cores 16x4GHz, E-cores 16x3.2GHz, 61ish celsius, ~55GiB ram usage with pkgdir on tmpfs)

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!