On Sun, 9 Dec 2006, Ian Zimmerman wrote:
Is there a reason why this is used for libpolyml in the beta sources, instead of the -version-info or -version-number options as recommended by libtool manual?
This sounds like you are an expert on libtool etc. Maybe you happen to know how to link an x86 application on an x86_64 platform.
Let's assume the x86 version of poly has been started on a x86_64 system. Then do this from ML and exit:
PolyML.export ("HOL", PolyML.rootFunction);
No try to link as follows:
cc -o HOL HOL.o -lpolymain -lpolyml -lstdc++
/usr/lib64/gcc/x86_64-suse-linux/4.0.2/../../../../x86_64-suse-linux/bin/ld: skipping incompatible /usr/proj/polyml/polyml-5.0/x86-linux/libpolymain.a when searching for -lpolymain /usr/lib64/gcc/x86_64-suse-linux/4.0.2/../../../../x86_64-suse-linux/bin/ld: cannot find -lpolymain collect2: ld returned 1 exit status
Is there a magic option for ld to force x86 binaries on a x86_64 system.
Makarius