A word about Coccinelle compilation configure allows to define how to compile
You can use either the .opt or not by using the configure flags --[no-]opt. These will define if you want the opt version of the compiler, or not, to compile Coccinelle. opt is the default unless the tools are not available. Then, you need to select which version of Coccinelle you want, the opt one or the byte-code one. This is selected with the make target. See install.txt make all/byte -> bytecode make all.opt/opt -> native make world will compile both. bytecode is the default. There is thus 4 possibilities: - bytecode compiler + bytecode spatch - native compiler + bytecode spatch - bytecode compiler + native spatch - native compiler + native spatch. On Sat, Aug 20, 2011 at 5:20 PM, Julia Lawall <[email protected]> wrote: > Maybe you can try installing an older version of ocaml. > > julia > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > -- Nicolas Palix http://sardes.inrialpes.fr/~npalix/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
