On 31/07/12 13:16, Richard W.M. Jones wrote:
Actually I see what's going on. Our build does:
make all opt -jNN
and I think this causes make to run the 'all' and the 'opt' builds in
parallel with each other. I have changed this to:
make all -jNN
make opt -jNN
and that now seems to work.
Ah yes. It's indeed problematic to run these in parallel, as it gives
race conditions with the .cmi files.
You can run it like that, but you can also simplify it to "make world".
In fact, if you only want the native version, than "make opt" or "make
all.opt" should be sufficient.
Also, as a convenience, if you pass the "--enable-release" parameter to
configure, then the default "all" target will actually only build the
native version. In other words, you should nowadays be able to get the
most efficient spatch using "configure --enable-release && make && make
install" modulo some patching of paths to suit your system...
(and if not, I'd like to know what we can do to get it like that)
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
