[polyml] poly configure options

Hello,

First, congratulations to the Polyml 5.5 developpers !

To give it a serious try, I need to compile poly for various architectures, in both 32 bit and 64 bit versions.

I could successfully compile the 64 bit version for MacOSX on my macbook (that compiles in 64 bits by default), but I failed to build a 32 bit version of poly on that machine. I tried various configure options, like --build=i386-apple-darwin10.8.0, and adding -m32 to CFLAGS, CXXFLAGS and LDFLAGS, but with no success so far :-(

Same question, but symmetric, for solaris 11 (x86) 64bit: I could successfully build a 32 bit poly (default for gcc on that machine), but could not build a 64 bit version ...

Any hints ?

Regards, Bernard.