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)
Search Criteria
Package Details: infer 1.1.0-1
Package Actions
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)
- java-environment (jdk12AUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, jdk8-armAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jdk11-jbr-xdgAUR, jdk16-openjdkAUR, jdk14-openjdkAUR, amazon-corretto-18AUR, jdk18-openjdkAUR, jdk-android-studioAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jdk-openj9AUR, jdk11-graalvm-ee-binAUR, jdk12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk8-graalvm-ee-binAUR, amazon-corretto-20-binAUR, zulu-15-binAUR, jdk20-openj9-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jdk11AUR, jdk8-j9-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jdk8-dragonwell-extendedAUR, jdk13-openjdkAUR, jdk15-openjdkAUR, jdk21-graalvm-binAUR, jdk8AUR, jdk-openj9-binAUR, jdk11-openj9-binAUR, jdk17-jetbrainsAUR, jdk8-openj9-binAUR, jdk-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, jdk17-openj9-binAUR, liberica-nik-24-full-binAUR, jdk21-jetbrains-gitAUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, amazon-corretto-22-binAUR, amazon-corretto-8AUR, amazon-corretto-11AUR, jdk-temurinAUR, jdk21-temurinAUR, jdk17-temurinAUR, jdk11-temurinAUR, zulu-21-binAUR, zulu-17-binAUR, zulu-11-binAUR, zulu-8-binAUR, liberica-jdk-8-full-binAUR, liberica-jdk-21-full-binAUR, jdk8-temurinAUR, mandrel-binAUR, mandrel24-binAUR, zulu-17-fx-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jdk17-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk22-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk8-perfAUR, jdk22-graalvm-binAUR, jdk19-openjdkAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, zing-21-binAUR, zing-8-binAUR, jdk21-jetbrains-binAUR, jre-jetbrainsAUR, jdk-openjdk-wakefieldAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, java-openjdk-binAUR, liberica-jdk-full-binAUR, jabba-binAUR, jdk21-jetbrainsAUR, jdk17-zulu-prime-binAUR, jdk21-openj9-binAUR, jdkAUR, java-openjdk-ea-binAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jdk8-openjdk)
- ocaml
- opam
- clang (llvm-rocm-gitAUR, llvm-gitAUR, clang-minimal-gitAUR) (make)
- cmake (cmake-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- python (python37AUR, python311AUR, python310AUR) (make)
- rsync (rsync-gitAUR, rsync-reflinkAUR, rsync-reflink-gitAUR) (make)
Required by (0)
Sources (1)
rubin55 commented on 2024-09-26 09:05 (UTC) (edited on 2024-09-26 09:06 (UTC) by rubin55)
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!
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.