On 12/03/2014 04:50 PM, Francois Berenger wrote:
There is exactly the same problem with 1.0.0-rc21.
So the coccinelle opam package just got broken recently.
The only change I could see is that the package pcre-ocaml
was renamed to pcre.
OK, on my computer, pcre has to be downgraded from 7.1.3 to 7.1.1
in order for cocci rc21 and rc22 to compile.
I think I will send in the opam repository a request to fix
dependency version of pcre to 7.1.1 for coccinelle.
If anybody doesn't agree with that, please shout now. :)
I will dig a little ...
On 12/03/2014 04:45 PM, 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)
Regards,
F.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
--
Regards,
Francois.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
