On Mon, 15 Oct 2018, Timur Tabi wrote:

> On Mon, Oct 15, 2018 at 11:40 AM Julia Lawall <[email protected]> wrote:
>
> > Neither is relevant.  Try make distclean, ./autogen, ./configure
>
> That didn't help.  I'm already working with a clean clone of the git repo.

Do you have parmap installed on your machine?  Try

ocamlfind query parmap

Then try which ocaml and see if they have the same prefix.  For example,
I have:

hadrien: ocamlfind query parmap
/home/jll/.opam/4.06.1/lib/parmap
hadrien: which ocaml
/home/jll/.opam/4.06.1/bin/ocaml

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to