|Subject:||[Axiom-developer] Re: [SAGEdev] Xcode and Fink (was: Hopefully stupid question)|
|Date:||Thu, 7 Sep 2006 17:09:06 -0500|
On Sep 7, 2006, at 3:58 PM, Camm Maguire wrote:
So that means we need to bump the port to the latest source and take it from there. I just tried to compile GCL 2.6.6 and 2.6.7 on 10.4.7 and it failed, I will see what is going on and at least update the port to build correctly.Greetings! I take it this discussion is regarding OSX support. Great! If memory serves, one of the gcl developers got this working with a more recent release. Am cc'ing him in hope he might have some comment/be able to offer help. Supposedly, 2.6.8pre compiles on OSX 'out of the box' -- at least the ACL2 people have told me it worked for them.
DarwinPorts was renamed to MacPorts after recent shutdown of the OpenDarwin. Fink is a separate porting environment. You only need one or the other, they pretty much do the same thing. There might be differences in number and kind of ports.Never understood the relationship between fink, darwinports, and macports ...
There are OSX specific bfd patches in the gcl source tree. It would be wonderful to get these accepted into binutils upstream someday -- I haven't gotten around to asking about it. Take care, Waqar Malik <address@hidden> writes:Ok, I looked at the page, and to build it seems pretty simple, since it uses configure script., If you want to you can install MacPortsand install gcl and try to build axiom on the mac and see if it builds.I will give it a try later today, as I have class that I need to attend this morning. --Waqar On Sep 7, 2006, at 10:24 AM, Page, Bill wrote:On Thursday, September 07, 2006 10:42 AM Waqar Malik wrote:I be glad to help with Axiom, but I have not used Axiom, so I have not tried to compile it.Thank you, thank you! The main part of Axiom (the AXIOMsys computational "engine") is built as a very large Lisp application on top of GCL plus a few external subroutines written in C linked into the image. The two other main parts of Axiom: Hyperdoc and Graphics, run as separate processes, are written entirely in C and communicate with AXIOMsys via sockets.Couple of things to remember about gcl port, I have not updated to the latest release (2.6.7) and I have not compiled it on Intel machines yet, I will have to spend some time to verify that it works.It should be possible to build Axiom using the older version of GCL. Anything you can do to help us with this would be greatly appreciated! If you haven't already, you might want to visit the Axiom developer website at http://wiki.axiom-developer.org to find out more about Axiom. If you have any questions and/or suggestions, please let me know. Thanks again, and "Welcome aboard!" :-) Regards, Bill Page.-- Camm Maguire address@hidden====================================================================== ==== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
|[Prev in Thread]||Current Thread||[Next in Thread]|