[gecode-users] g++ version 4.2 requirement

[Denys Duchier]

Martin Mann <mmann at informatik.uni-freiburg.de> writes:

> But if I run the binary on a "2.6.18" kernel I get
> 	FATAL: kernel too old
> 	Segmentation fault

this is glibc complaining (the one statically linked into your
executable).

Cheers,

--Denys