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

[Camm Maguire]

Greetings!

Waqar Malik <address@hidden> writes:

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

One thing I would suggest is a simple ./configure && make using cvs
branch 2.6.8pre.  Same should work for 2.6.7 if memory serves.  2.6.8
is (hopefully) days away, and just awaits a few more Debian
autobuilders.  

Also wanted to mention that there is still one important GCL feature
missing on this port, stratified garbage collection, or SGC, which
relies on trapping addresses from segfaults caused by write attempts
to read only pages as a GC accelerator.  Aurelien had this working at
one point, then something changed with some macosx release, so it is
currently disabled.  Would be great to resolve this.  I can offer
email help if desired.

Take care,

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

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah