[Cocci] while compiling coccci 1.0.0-rc22

Julia Lawall julia.lawall at lip6.fr
Wed Dec 3 18:24:11 CET 2014


On Wed, 3 Dec 2014, Francois Berenger wrote:

> Hi,
>
> Anyone got this?
>
> /home/berenger/.opam/4.01.0/bin/ocamlopt.opt -unsafe -I
> /home/berenger/.opam/4.01.0/lib/menhirLib -I
> /home/berenger/.opam/4.01.0/lib/ocaml -I /home/berenger/.opam/4.01.0/lib/pcre
> -I /home/berenger/src/coccinelle-1.0.0-rc22/bundles/pycaml/ -I commons -I
> commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c
> -I parsing_cocci -I popl09 -I python    -cclib -lpycaml_stubs -cclib
> -lpython2.7 -ccopt -lpcre -cclib -lpcre_stubs -o spatch.opt str.cmxa unix.cmxa
> bigarray.cmxa nums.cmxa /home/berenger/.opam/4.01.0/lib/ocaml/dynlink.cmxa
> /home/berenger/src/coccinelle-1.0.0-rc22/bundles/pycaml//pycaml.cmxa
> /home/berenger/.opam/4.01.0/lib/pcre/pcre.cmxa commons/commons.cmxa
> globals/globals.cmxa ctl/ctl.cmxa parsing_cocci/cocci_parser.cmxa
> parsing_c/parsing_c.cmxa engine/cocciengine.cmxa popl09/popl.cmxa
> extra/extra.cmxa python/coccipython.cmxa ocaml/cocciocaml.cmxa flag_cocci.cmx
> cocci.cmx testing.cmx test.cmx main.cmx
> File "_none_", line 1:
> Error: No implementations provided for the following modules:
>          Bytes referenced from
> /home/berenger/.opam/4.01.0/lib/pcre/pcre.cmxa(Pcre)

My OCaml is not so up to date...

julia


More information about the Cocci mailing list