Building 32 bit Mozart for 64 bit Linux

[Raphael Collet]

Kevin Glynn wrote:
> To follow up these instructions.  Debian includes a script called
> linux32 which creates an environment in which 'uname' will report that
> it is running on an i686 processor.  I presume other distributions
> have something similar (e.g. similar functionality is provided by
> 'setarch').
> 
> With this script it is not necessary to modify Mozart sources at all,
> just run configure as:
> 
> # linux32 ../mozart/configure --prefix= ... etc ....
> # make bootstrap
> # make install
> 
> and you will have a 32 bit mozart runnable in your 32 bit chroot.

Thanks a lot, Kevin, for this precious information!  I suggest that the 
upcoming release comes with a special note "for 64 bits architectures" 
on the download web page.

I'm thinking to a FAQ entry: "I accidentally bought a 64 bit machine at 
the weekend.  Can I run Mozart on it?" ;-)

Cheers,
raph