> We'll probably add a configure option --small-codesize or similar to enable > -Os or -Oz and use less aggressive inlining.
On that point. I found that turning off inlining actually has a big effect on speed. More than I expected. My code ran about a third slower without inlining. I'm thinking that the larger file size might be better, after all. Ruben _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
