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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
