Search Criteria
Package Details: infer 0.17.0-2
Git Clone URL: | https://aur.archlinux.org/infer.git (read-only, click to copy) |
---|---|
Package Base: | infer |
Description: | Static Analyzer by Facebook |
Upstream URL: | https://github.com/facebook/infer |
Licenses: | |
Submitter: | yaroslav |
Maintainer: | None |
Last Packager: | TheGoliath |
Votes: | 7 |
Popularity: | 0.000000 |
First Submitted: | 2015-08-10 07:52 |
Last Updated: | 2020-05-06 12:05 |
Dependencies (7)
- java-environment (jdk5, tuxjdk, jdk7-openjdk-infinality, java-8-openjdk-shenandoah, jdk8-openjdk-infinality, java-gcj-compat, jdk9, zulu-10-bin, jdk-devel, jdk8-arm64, jdk6, jdk12-openj9-bin, zulu-12-bin, jdk12, jdk8-openjdk-dcevm, jdk11-graalvm-ee-bin, jdk8-arm, jdk13-openj9-bin, jdk9-openj9-bin, jdk10, jdk11-openjdk-dcevm, jdk8-openjdk-jetbrains, jdk8-openjdk-shenandoah, jdk10-openj9-bin, jdk14-openj9-bin, sapmachine-jdk-bin, jdk7, jdk8-j9-bin, java-openjdk-bin, jdk, jdk-openj9-bin, jdk-arm, jdk-adoptopenjdk, jdk11-adoptopenjdk, liberica-jdk-full-bin, jdk8-jetbrains, zulu-embedded-jdk8, amazon-corretto-11, liberica-jdk-8-full-bin, liberica-jdk-11-bin, liberica-jdk-11-full-bin, liberica-jdk-11-lite-bin, liberica-jre-11-bin, liberica-jre-11-full-bin, liberica-jre-8-full-bin, amazon-corretto-8, jdk8, jdk11, jdk8-graalvm-bin, jdk11-graalvm-bin, zulu-embedded-jdk, jdk7r1-j9-bin, jdk7-j9-bin, zulu-15-bin, zulu-14-bin, zulu-13-bin, jdk8-adoptopenjdk, zulu-embedded-jdk11, jdk-bcl, jdk8-openj9-bin, jdk11-openj9-bin, zulu-11-bin, zulu-8-bin, amazon-corretto-15, jdk-openj9, jdk11-jetbrains-imfix, jdk-jetbrains, jre-jetbrains, java-openjdk-ea-bin, java-openjdk-loom-ea-bin, jdk-openjdk, jdk11-openjdk, jdk7-openjdk, jdk8-openjdk)
- python (python-dbg)
- python2
- opam>=1.2.0 (opam-git)
- gcc>=4.7.2 (gcc-multilib-x32, fastgcc, gcc-multilib-git, gcc-git)
- git (git-git) (make)
- rsync (rsync-git) (make)
Latest Comments
1 2 Next › Last »
pmatos commented on 2020-05-05 09:45
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
I have made a binary distribution available as infer-bin.
Forty-Bot commented on 2018-11-11 15:42
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
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
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
This package should be called infer-git because it doesn't pull a specific revision.
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
@imran27
I will try fix in version 0.5.0.