install on 64-bit RHEL5: /usr/local/lib or /usr/local/lib64?

[Mirko Vukovic]

Apologies for not strictly a gmp question

I am installing gmp on a 64bit RHEL machine.

Should I install it in /usr/local/lib or /usr/local/lib64?

Thanks,

Mirko