Arch Linux User Repository

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

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!

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

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.

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

Please update this package. Thanks!

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

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)

@imran27

I will try fix in version 0.5.0.

Build fails.

[ERROR] Compiler build failed at "make world"
Error: Unbound module Odoc_info
[ERROR] Initialisation failed
OpamGlobals.Exit(66)

What to do now?