gnumake MACHINE_TYPE=i686-m64 --Andreas In message <D3A69B7F-C88C-4728-9B10-50303763BF1D at gmail.com>you wrote: > Which platform should we use for a x86-64 build under Linux, on an > Intel Xenon 64-bit CPU? > > Cheers, > Alexy