What does otool -L /sw/bin/poly report?
Peace - John
On Oct 30, 2007, at 8:15 PM, Fernando Costa wrote:
Hi,
John, that's a very nice package. I'll e-mail people from Fink asking them to include your package.
The reason I'm having the uint issue, is probably related to Leopard. I've created a patch inside Fink in order to apply David fix (attached).
Although I was able to get the package installed just fine with fink, I still get this:
sh-3.2# /sw/bin/poly
The exported object file does not match this version of the library sh-3.2#
I'm guessing this is Leopard related, here are my libs:
sh-3.2# find / |grep libpoly /sw/fink/10.4/unstable/main/finkinfo/sci/libpolyxmass10.info /sw/fink/10.4/unstable/main/finkinfo/sci/libpolyxmass10.patch /sw/lib/libpolymain.a /sw/lib/libpolymain.la /sw/lib/libpolyml- 5.0.0.dylib /sw/lib/libpolyml-5.0.dylib /sw/lib/libpolyml-5.dylib /sw/lib/libpolyml.a /sw/lib/libpolyml.dylib /sw/lib/libpolyml.la sh-3.2#
Thanks,
Fernando
On 10/30/07, David Matthews < David.Matthews@prolingua.co.uk> wrote: Fernando Costa wrote:
I've been trying to get Isabelle in my macbook and I've joined their discussion list for support. They told me intel macbooks wont
work with the
modified polyml_ppc_darwin, and sent me a patch to get it working
with
Polyml 5.0. I tried both Polyml 5.0 and the one from the top SVN
tree, and
when I try to compile I get the same error:
/bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H
-I. -I..
-DMACOSX -Wall -I/usr/X11/include -O3 -I/usr/X11/include -MT machoexport.lo -MD -MP -MF .deps/machoexport.Tpo -c -o
machoexport.lo
machoexport.cpp g++ -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -I/usr/X11/include -O3 -I/usr/X11/include -MT machoexport.lo -MD -MP -MF .deps/
machoexport.Tpo -c
machoexport.cpp -fno-common -DPIC -o .libs/machoexport.o machoexport.h:49: error: 'uint' has not been declared machoexport.h:49: error: 'uint' has not been declared machoexport.h :49: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared machoexport.cpp:241: error: 'uint' has not been declared
I don't know why uint has been used here since it doesn't exactly correspond to the types needed for the nlist struct. I've changed it (in CVS) to use unsigned char and unsigned long so this should be fixed.
David. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
<polyml5.info> <polyml5.patch> _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml