[polyml] Poly/ML revision 868 not building under Snow Leopard

With a completely fresh copy of the developer version, obtained by svn, I try to build Poly/ML in a 32-bit version under the latest version of Snow Leopard (OS X 10.6.1) by

cd polyml/polyml ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' CCASFLAGS='-arch i386' make

The make fails with a long list of error messages, which are appended to this message at the end for clarity.

Is there a different set of options I should give to configure? Has anyone been able to get Poly/ML working under Snow Leopard?

Thanks for your help.

Peter

. . . <lots of successful compiles> . . . mv -f .deps/locking.Tpo .deps/locking.Plo /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c -o savestate.lo savestate.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c savestate.cpp -fno-common -DPIC -o .libs/savestate.o g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT savestate.lo -MD -MP -MF .deps/savestate.Tpo -c savestate.cpp -o savestate.o >/dev/null 2>&1 mv -f .deps/savestate.Tpo .deps/savestate.Plo /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT x86_dep.lo -MD -MP -MF .deps/x86_dep.Tpo -c -o x86_dep.lo x86_dep.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -arch i386 -O3 -MT x86_dep.lo -MD -MP -MF .deps/x86_dep.Tpo -c x86_dep.cpp -fno-common -DPIC -o .libs/x86_dep.o /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:1254:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2003:bad register name `%rsp' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2003:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2037:suffix or operands invalid for `xadd' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2250:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2258:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2366:suffix or operands invalid for `xadd' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:2491:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5581:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5589:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5597:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5629:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5637:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5685:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5713:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5737:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5741:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5745:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5753:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5757:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5761:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5765:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5769:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5773:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5777:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5793:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5797:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5889:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5893:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5897:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5901:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5905:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5909:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5913:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5917:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5921:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5933:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5937:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5949:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:5953:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6005:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6009:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6013:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6017:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6021:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6023:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6025:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6027:suffix or operands invalid for `pop' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:bad register name `%rbp)' /var/folders/gE/gEXH0kDBEf8+Ek-1soUkaU+++TI/-Tmp-//ccLysxwm.s:6029:suffix or operands invalid for `pop' make[2]: *** [x86_dep.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 minastirith:polyml palantir$