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 t=
he
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