On Mon, Oct 15, 2018 at 11:55 AM Julia Lawall <[email protected]> wrote: > Do you have parmap installed on your machine? Try > > ocamlfind query parmap
$ ocamlfind query parmap /usr/lib/ocaml/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 $ which ocaml /usr/bin/ocaml $ ocaml --version The OCaml toplevel, version 4.05.0 I have a stock Ubuntu 18.04 installation. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
