[gecode-users] embedded gecode

[Guido Tack]

Ruben Zilibowitz wrote:

>> 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.

Thanks, that's interesting.  So it'll just be -Os, then.

Cheers,
	Guido

-- 
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/