David,
On 7 Sep 2009, at 15:15, David Matthews wrote:
Rob, ...
It may be possible to force 32-bit mode with ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' \ CCASFLAGS='-arch i386'
Did you try with the CXXFLAGS option as well? From what I can tell
CFLAGS is only used in C
programs not in the C++ parts such as x86_dep.cpp.
It does work when I do set all three of CFLAGS CXXFLAGS and CCASFLAGS. Yet again I need to specify -arch i386 in my make files when I link Poly/ML programs. Is there any reason for or against compiling Poly/ML for the 32 bit architecture?
[Aside: if I had known about these compiler options 3 days ago, the ProofPower GUI program xpp would probably still be full of code that only works on 32 bit implementations of X/Motif!]
One thing that won't hurt me at the moment, but may affect other users is that the configure script is not finding the X Windows installation that comes with MacOS X. As far as I can see this is just because the test it uses needs to specify -L/usr/X11R6/lib.
Regards,
Rob.