Everything compiled and installed. But this is as far as I could get: sh-3.2# /usr/local/bin/poly
The exported object file does not match this version of the library sh-3.2#
Any ideas?
Thanks
On 10/30/07, Fernando Costa cusquinho@gmail.com wrote:
just answering my own e-mail I created a typedef from uint to unsigned which seems to have fixed it.
On 10/30/07, Fernando Costa < cusquinho@gmail.com> wrote:
Hi All,
I'm sorry if this is not the proper place to ask, but I'll try to be "short".
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=3DCXX --mode=3Dcompile 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 make[2]: *** [machoexport.lo] Error 1 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 sh-3.2#
Any idea?
thanks,
Fernando