11 Dec
2006
11 Dec
'06
3:28 a.m.
Makarius> Maybe you happen to know how to link an x86 application on an Makarius> x86_64 platform.
Makarius> Let's assume the x86 version of poly has been started on a Makarius> x86_64 system. Then do this from ML and exit:
Makarius> PolyML.export ("HOL", PolyML.rootFunction);
Makarius> No try to link as follows:
Makarius> cc -o HOL HOL.o -lpolymain -lpolyml -lstdc++
Not an expert, but have you tried -m32 ?
BTW, that looks like you're trying to use the new Poly/ML with Isabelle, how's that working out?
--
Experience with Asset Control an asset.