[Axiom-developer] Re: [SAGEdev] Xcode and Fink (was: Hopefully stupid question)

[Waqar Malik]

On Sep 7, 2006, at 3:58 PM, Camm Maguire wrote:

> 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.
	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.

> Never understood the relationship between fink, darwinports, and
> macports ...
	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.


> 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 MacPorts
> > and 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