[HOWTO] Compile in 32-bits mode on an AMD64 arch... ?

[Emmanuel Fleury <emmanuel.fleury@labri.fr>]

Hi all,

I'm trying to compile a software in 32-bits mode on my AMD64.

I installed the packages:
o binutils-multiarch
o ia32-libs
o ... and all the packages related to these ones through the dependancies.

Then, I compiled the software with the option '-m32'.

It's quite fine for simple softwares (without linking phase) but as soon
as we get to link static libraries to objects files I get this error
messages:

 Compiling using -m32 -g -Wall -DVERBOSE -DENABLE_GAMES
-DBOOST_DISABLE_THREADS -DVERBOSE -DENABLE_GAMES  -DBOOST_DISABLE_THREADS
g++  : tiga/tests/server
/usr/bin/ld: skipping incompatible
/home/fleury/development/projects/Uppaal-project/Uppaal/trunk/server/modules/lib/libverifier.a
when searching for -lverifier
/usr/bin/ld: cannot find -lverifier
collect2: ld returned 1 exit status
make[1]: *** [server] Error 1
make: *** [default] Error 2

Any clue ?

Regards
-- 
Emmanuel Fleury              | Office: 211
Associate Professor,         | Phone: +33 (0)5 40 00 35 24
LaBRI, Domaine Universitaire | Fax:   +33 (0)5 40 00 66 69
351, Cours de la Libération  | email: fleury@labri.fr
33405 Talence Cedex, France  | URL: http://www.labri.fr/~fleury