On Fri, 18 Jul 2014, Nicholas Mc Guire wrote: > > HI ! > > > while building rc21 ./configure ,,,, outputs > > ... > optimized spatch: no (overridable with --disable-opt) > ... > > which should probably be --enable-opt ?
I think (but I am not at all sure) that the issue is that the variable that produces "no" can actually be either yes or no at this point. The message on the other hand is fixed, and it is assuming that the value is yes. Were there some messages before related to ocamlopt. Do you have ocamlopt installed on your machine? Or do you have ocaml 3.11.2. Apparently that has a bug that precludes making an optimized version. There seem to be a bunch of other conditions that can cause this issue. Probably there should just be no overridable message if any of these problems occurs. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
