Poly/ML

polyml@lists.polyml.org

695 discussions

"make compiler" fails on DarwinPPC
by pahia＠t-online.hu 03 Oct '09

03 Oct '09

Hi, I just checked out revision 879 from SVN. The 'make compiler' target fails with the following messages: ... Making CODE_SEG Created signature CODE_SEG Created signature CodeSeg Created signature PPCCODECONS Making Debug Created signature Debug Error- in 'mlsource/MLCompiler/CodeTree/CodeCons.ppc.ML', line 21. Value (compilerOutputTag) missing in structure. Found near PPCCODECONS( struct structure CODESEG = CodeSeg structure DEBUG = Debug structure MISC = Boot.Misc structure ADDRESS = Address end) mlsource/MLCompiler was not declared Exception- Fail "Static errors (pass2)" raised > > Error-Structure (MLCompiler) has not been declared Found near PolyML.shareCommonData(MLCompiler.shell) Static errors (pass2) ... I am using Mac OS X 10.4 on a PowerPC machine. Regards, Andras Pahi

2 1

Approaching release of 5.3
by David.Matthews＠prolingua.co.uk 03 Oct '09

03 Oct '09

We're approaching the stage of releasing 5.3 so I'd like to encourage everyone to test the SVN version especially if you have a large code-base. The changes to the handling of type identifiers and modules could have introduced bugs and several have been fixed during testing. Don't forget to run "make compiler" (previously "make cvs") to rebuild the compiler after the initial configure and make. If you find problems it's probably best to report them here or open a Trac ticket on the sourceforge site. Regards, David

1 0

Poly/ML revision 868 not building under Snow Leopard
by palantir＠trustworthytools.com 23 Sep '09

23 Sep '09

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$ -- "In Your majesty ride prosperously because of truth, humility, and righteousness; and Your right hand shall teach You awesome things." (Psalm 45:4)

2 2

Re: Suppressing pretty-printing
by David.Matthews＠prolingua.co.uk 22 Sep '09

22 Sep '09

Rob Arthan pointed out that the new behaviour in 5.3 of printing abstract types isn't always desirable and that it might be useful to explain how to restore the old behaviour. I've added an entry to the FAQ http://www.polyml.org/FAQ.html#defaultpretty which includes instructions on how to install a pretty printer that just prints as "?". David

2 5

InternalError: Equality for function raised
by rda＠lemma-one.com 14 Sep '09

14 Sep '09

David, David, Using recent sources, the following caused an internal error as described in the comment. The problem persists when I update to the very latest (rev. 866). fun present (eq : ('a * 'a) -> bool) (x: 'a) : 'a list -> bool = ( let fun test (h :: t) = eq(x,h) orelse test t | test [] = false in test end ); fun insert (eq:'a * 'a -> bool) (lst : 'a list) (what : 'a) = ( if present eq what lst then lst else (what :: lst) ); (* following cut down extract from a test script fails with: Exception- InternalError: Equality for function raised while compiling *) [ (insert (op =) []), (insert (op =) [1]) ]; Regards, Rob.

2 1

Re: [Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 09 Sep '09

09 Sep '09

David, Yes, it works with --build=i386-apple-darwin. Regards, Rob. On Wednesday 09 Sep 2009 5:55 pm, you wrote: > Rob, > Try with > ./configure --build=i386-apple-darwin CFLAGS='-arch i386 -O3' \ > CXXFLAGS='-arch i386 -O3' CCASFLAGS='-arch i386' > > With the change to config.guess the configure script is now picking up > the default architecture as x86_64 rather than i386 which was what it > was reporting before. Previously you had to override it in 64-bit mode; > now you have to override it in 32-bit mode. > > It would be good to have just a single option to select whether to build > 32-bit or 64-bit on machines that support that. I can't see a good way > to do it at the moment. > > Regards, > David > > Rob Arthan wrote: > > David, > > > > I have update to revision 864 and don't seem to be able to force a 32-bit > > build using the following command any more: > > > > ./configure CFLAGS='-arch i386 -O3' CXXFLAGS='-arch i386 -O3' > > CCASFLAGS='-arch i386' > > > > I have attached the config.log and make output. > > > > Regards, > > > > Rob. > > > > On Wednesday 09 Sep 2009 2:58 pm, David Matthews wrote: > >> Rob, > >> Can I take it that the current SVN builds on Mac OS 10.6 without any > >> extra options, although your Makefiles will have to add the -segprot > >> option? I may need to ask you test it again if the official > >> config.guess is updated to include support for 10.6. > >> > >> Eventually I'd like to remove the need for -segprot but that will > >> require making the code segment at least completely read-only. That in > >> turn requires changes to profiling, data sharing and exporting all of > >> which write to code objects. > >> > >> Regards, > >> David > >> > >> rda(a)lemma-one.com wrote: > >>>> Rob Arthan wrote: > >>>>> I wrote: > >>>>>> I am completely baffled. I thought I hada solved all my problems on > >>>>>> MacOS X > >>>>>> 10.6 and was just tidying up, > >> > >> _______________________________________________ > >> polyml mailing list > >> polyml(a)inf.ed.ac.uk > >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

1 0

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 08 Sep '09

08 Sep '09

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.

3 3

Building Poly/ML on MacOS X 10.6
by rda＠lemma-one.com 07 Sep '09

07 Sep '09

My first attempt to compile Poly/ML 5.2.1 on Snow Leopard (= MacOS X 10.6) resulted in an error due to a cast of a pointer to an int in libpolyml/x86_dep.cpp. There is a fix for this in the latest source, but the build then falls over as follows: ... g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -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/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:1063:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:1774:Incorrect register `%rsi' used with `l' suffix /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:1968:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:1973:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:2097:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:2129:Incorrect register `%rsi' used with `l' suffix /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:2416:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4660:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4666:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4672:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4696:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4702:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4738:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4759:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4777:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4780:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4783:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4789:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4792:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4795:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4798:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4801:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4804:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4807:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4819:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4822:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4891:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4894:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4897:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4900:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4903:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4906:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4909:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4912:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4915:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4924:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4927:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4936:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4939:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4978:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4981:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4984:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4987:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4990:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4992:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4994:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4996:suffix or operands invalid for `pop' /var/folders/Ih/IhQgyfokGpO8Wx1qsxaKZ++++TI/-Tmp-//ccWgMIs0.s:4998:suffix or operands invalid for `pop' make[2]: *** [x86_dep.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 Any suggestions gratefully received. Regards, Rob.

3 5

Re: Poly/ML does not build under Snow Leopard
by David.Matthews＠prolingua.co.uk 07 Sep '09

07 Sep '09

Peter, Are you subscribed to the Poly/ML mailing list? Rob Arthan has also been asking about this and it makes sense that everyone is aware of the various issues. I'm copying this to the list as well. Rob also found that ./configure --build=x86_64-darwin LDFLAGS='-segprot POLY rwx rwx' worked. I'm surprised that "make cvs" didn't appear to do anything but actually you don't need it in this case. Did you do a "make distclean" before the configure? It would appear that the Mac OS X linker will require the LDFLAGS="-segprot POLY rwx rwx' option whenever an executable file is built using an exported Poly object file. I don't know how to do this with HOL; perhaps someone on the list will be able to help. I'll add it to the link step of Poly/ML but that won't help with Isabelle. Regards, David Peter Vincent Homeier wrote: > Dear David, > > I tried the same thing on the developer (svn) version. I downloaded a > clean new copy, and tried > > ./configure --build=x86_64-darwin LDFLAGS='-segprot POLY rwx rwx' > make > make cvs > make > sudo make install > > and this all seemed to work. (Note that the "make cvs" seemed to have > no effect.) However, when I then tried to build HOL4 (a theorem > prover that built before with Poly/ML) I found that although I could > build HOL4's lexer, when I tried to run this lexer to build the parser > I got > > Bus error > > I could go back and try for the 32-bit versions as you suggested > earlier, although I really would like to build the 64-bit version, > given that much of the point of Snow Leopard is to be natively 64-bit > as much as possible. > > What would you suggest? > > Cheers, > Peter

1 0

Poly/ML on Windows (MinGW/MSYS port)
by gdr＠integrable-solutions.net 06 Sep '09

06 Sep '09

Hi David, I tried to build Poly/ML on Windows using the MSYS/MinGW toolchains, but was unsuccessful The build failed with: g++ -DHAVE_CONFIG_H -I. -I.. -I../../../polyml.svn/polyml/libpolyml -DWINDOWS_P C -Wall -O3 -mthreads -MT mpoly.lo -MD -MP -MF .deps/mpoly.Tpo -c ../../../polym l.svn/polyml/libpolyml/mpoly.cpp -DDLL_EXPORT -DPIC -o .libs/mpoly.o ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:24:23: error: winconfig.h: No suc h file or directory In file included from ../../../polyml.svn/polyml/libpolyml/mpoly.h:26, from ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:60: ../../../polyml.svn/polyml/libpolyml/../polyexports.h:78: warning: 'PolyWinMain' initialized and declared 'extern' ../../../polyml.svn/polyml/libpolyml/../polyexports.h:78: error: 'HINSTANCE' was not declared in this scope ../../../polyml.svn/polyml/libpolyml/../polyexports.h:78: error: 'HINSTANCE' was not declared in this scope ../../../polyml.svn/polyml/libpolyml/../polyexports.h:79: error: 'LPTSTR' was no t declared in this scope ../../../polyml.svn/polyml/libpolyml/../polyexports.h:79: error: expected primar y-expression before 'int' ../../../polyml.svn/polyml/libpolyml/../polyexports.h:79: error: expected primar y-expression before '*' token ../../../polyml.svn/polyml/libpolyml/../polyexports.h:79: error: 'exports' was n ot declared in this scope ../../../polyml.svn/polyml/libpolyml/../polyexports.h:79: error: initializer exp ression list treated as compound expression In file included from ../../../polyml.svn/polyml/libpolyml/pexport.h:27, from ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:65: ../../../polyml.svn/polyml/libpolyml/exporter.h:58: error: ISO C++ forbids decla ration of 'FILE' with no type ../../../polyml.svn/polyml/libpolyml/exporter.h:58: error: expected ';' before ' *' token ../../../polyml.svn/polyml/libpolyml/mpoly.cpp: In function 'int polymain(int, c har**, exportDescription*)': ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:143: error: 'printf' was not decl ared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp: In function 'void Usage(const ch ar*)': ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:233: error: 'printf' was not decl ared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:236: error: 'printf' was not decl ared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:238: error: 'stdout' was not decl ared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:238: error: 'fflush' was not decl ared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:243: error: '_T' was not declared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp: In function 'char* RTSArgHelp()' : ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:258: error: 'sprintf' was not dec lared in this scope ../../../polyml.svn/polyml/libpolyml/mpoly.cpp:261: warning: statement has no ef fect make[2]: *** [mpoly.lo] Error 1 make[2]: Leaving directory `/home/gdr/Desktop/sandbox/build/polyml/libpolyml' This is an out-of-source build, meaning that I keep the build directory separate from the vanilla Poly/ML source tree. I had a quick look for winconfig.h and was under the impression that it was supposed to replace config.h (which is generated anyway at configure time). For some reason, it is not being seen by the preprocessor. Why keep winconfig.h when config.h (that truly reflects the host/build machine characteristics) is generated at configure time? I also noticed that pthread is being check for even on Windows. I believe that is not good. On Windows, one should just check for Windows thread support. The reason is that configure may report that pthread.h exists without the full semantics support needed by Poly/ML (which is the case on my machine, Windows XP SP3). A second point is that in such circumstances, checking for HAVE_PTHREAD_H, then for WIN32 is not good. The test should be reversed. One should first check for WIN32, then HAVE_PTHREAD_H. Another observation: __darwin_mcontext32 should be checked only on darwin platforms. Best, -- Gaby

2 6

← Newer
1
...
47
48
49
50
51
52
53
...
70
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML