[Top][All Lists]

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

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

From: Waqar Malik
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:

Greetings!  I take it this discussion is regarding OSX support.

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.

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

to find out more about Axiom. If you have any questions and/or
suggestions, please let me know.

Thanks again, and "Welcome aboard!" :-)

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]