[ADMB Users] 10.4 for gcc 4.5 32 bit: incorrect binaries?

[J A Stephen Viggiano]

Dear all:

After downloading the binaries for my 32 bit intel system with gcc 4.5.1 
(verified with 'gcc -v'), followed the install procedure on your helpful 
and well-written page at 
http://www.admb-project.org/documentation/installation/admb-installation-linux 
(slightly modified to account for the fact I use tcsh, rather than bash).

Running make from within the examples directory yielded the following:

examples> make
cd admb/simple;rm -f @.par @.std;admb   simple;time ./simple

*** Parsing: tpl2cpp simple
/home/vigg/jail/admb-10.1-linux-gcc4.5.2-32bit/bin/admb: line 42: 
/home/vigg/jail/admb-10.1-linux-gcc4.5.2-32bit/bin/tpl2cpp: cannot 
execute binary file

Error: Failed to build executable.
/bin/sh: ./simple: No such file or directory

real    0m0.001s
user    0m0.000s
sys     0m0.000s
make: *** [simple] Error 127
examples>

The "file" command identified tpl2cpp as a 64-bit ELF, rather than a 32-bit:

examples> file ../bin/tpl2cpp
../bin/tpl2cpp: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), 
dynamically linked (uses shared libs), for GNU/Linux 2.6.15, not stripped
examples>

(The file "tpl2rem" identified similarly as 64-bit).

Running things from bash yields the same unfortunate result (not 
surprising, as the execution deck appears to be for a 64-bit processor.

Best regards,

--Steve