Friends -
The polyml5, isabelle-polyml5, and proofgeneral packages are sitting
on the tracker waiting for something to happen (status is undergoing
validation). I believe it would be a good idea for something to
happen to them.
Peace
- John
Begin forwarded message:
From: John Ridgway <[EMAIL PROTECTED]>
Date: October 30, 2007 7:29:05 PM EDT
To: Fernando Costa <[EMAIL PROTECTED]>
Cc: John Ridgway <[EMAIL PROTECTED]>, [EMAIL PROTECTED]
Subject: Re: [polyml] polyml on macbook intel
If you don't use fink ignore this message...
If you do use fink I am currently in the process of creating a
polyml5 package for fink. I have attached the polyml5.info file.
If you put this in /sw/fink/dists/local/main/finkinfo/languages/
then fink index and fink install polyml5 you should get a working
version of polyml5. I've also attached the isabelle-polyml5.info
and .patch files and the proofgeneral.info and proofgeneral.patch
files. All-in-all if you install all three of these packages you
should get a working version of Isabelle using polyml5.
I created these packages because I acquired an Intel iMac. They
have been submitted to fink but not yet accepted; I would
appreciate feed-back.
Peace
- John
----- Attachments snipped ------
On Oct 30, 2007, at 6:10 PM, Fernando Costa 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=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
make[2]: *** [machoexport.lo] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2
sh-3.2#
Any idea?
thanks,
Fernando
_______________________________________________
polyml mailing list
[EMAIL PROTECTED]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Fink-devel mailing list
Fink-devel@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.devel