i think i was successful using homebrew on my Mac. http://brewformulas.org/Coccinelle http://brew.sh
Sent from my iPhone > On 18/01/2015, at 01:29 p.m., Julia Lawall <[email protected]> wrote: > >> On Sun, 18 Jan 2015, Eliseo Martínez wrote: >> >> 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? > > The use of Bytes is new with this version. I will ask someone to look > into it. Just in case, could you try make clean before make? > > thanks, > julia > >> >> 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 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
