No luck. ./configure seems to run fine but make this error:
/opt/local/bin/ocamlc.opt -g -I
/Users/eliseo/projects/os/coccinelle/bundles/menhirLib/ -I /opt/local/lib/ocaml
-I /opt/local/lib/ocaml/site-lib/pcre -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 -c main.ml
/opt/local/bin/ocamlc.opt -g -I
/Users/eliseo/projects/os/coccinelle/bundles/menhirLib/ -I /opt/local/lib/ocaml
-I /opt/local/lib/ocaml/site-lib/pcre -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 -custom -g -ccopt -L/opt/local/lib -ccopt -lpcre -dllib
-lpcre_stubs -cclib -lpcre_stubs -o spatch str.cma unix.cma bigarray.cma
nums.cma /opt/local/lib/ocaml/dynlink.cma
/opt/local/lib/ocaml/site-lib/pcre/pcre.cma commons/commons.cma
globals/globals.cma ctl/ctl.cma parsing_cocci/cocci_parser.cma
parsing_c/parsing_c.cma engine/cocciengine.cma popl09/popl.cma extra/extra.cma
python/coccipython.cma ocaml/cocciocaml.cma flag_cocci.cmo cocci.cmo
testing.cmo test.cmo main.cmo
File "_none_", line 1:
Error: Files commons/commons.cma(Common)
and /opt/local/lib/ocaml/stdlib.cma(Bytes)
make inconsistent assumptions over interface Bytes
make[3]: *** [spatch] Error 2
make[2]: *** [byte] Error 2
make[1]: *** [all-dev] Error 2
make: *** [all] Error 2
Anyone has seen that before?
Thanks,
Eliseo.
> On 17 Jan 2015, at 23:09, Julia Lawall <[email protected]> wrote:
>
> On Sat, 17 Jan 2015, Eliseo Martínez wrote:
>
>> Hi,
>>
>> Up to now, I’ve been using coccinelle in an Ubuntu virtual machine, running
>> in my OSX Yosemite machine.
>> Now I’d like to try installing it on OSX itself.
>> As I don’t see anything about this on the website, I wanted to ask first.
>> Has anybody managed to successfully install coccinelle on OSX?
>
> Yes, I think it should be OK. The only detail may be with PCRE (ocaml
> library for regular expressions). Some people reported that configure
> correctly detected that they did not have pcre installed, but when it came
> tie to link Coccinelle, pcre was expected. So they had to install pcre.
>
> julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
