axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Camm Maguire
Subject: [Axiom-developer] Re: [SAGEdev] Xcode and Fink (was: Hopefully stupid question)
Date: 07 Sep 2006 16:58:46 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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.

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]