Re: [Axiom-developer] Re: Axiom help needed

[David MENTRE]

Hello Tim and Dacian,

root <address@hidden> writes:

> Do you have CVS? You can get the code from the website by typing:
>
> cvs -d:pserver:address@hidden:/projects/axiom login
> cvs -d:pserver:address@hidden:/projects/axiom co axiom
>
> The first command will log you in as an anonymous user. It will 
> prompt you for a password. Just hit enter.
>
> The second command will create a new directory called axiom in
> your current directory. If you current directory is

The procedure to download the Axiom sources from CVS has changed after
savannah crack. Dacian, you should do:

export CVS_RSH="ssh"         ## depending on your shell, in this case for bash
cvs -z3 -d:ext:address@hidden:/cvsroot/axiom co axiom

The SSHv2 public key fingerprints for the machine hosting the cvs trees are:

RSA: 1024 80:5a:b0:0c:ec:93:66:29:49:7e:04:2b:fd:ba:2c:d5
DSA: 1024 4d:c8:dc:9a:99:96:ae:cc:ce:d3:2b:b0:a3:a4:95:a5


Of course, you should have ssh available on your machine.

The remaining procedure of Tim to compile Axiom is correct.

Let us know of any issues.



Regarding OpenMath, I'm afraid but I think all NAG work to support
OpenMath is no longer available in current free Axiom. However, Bill
Page, Camm Maguire (lead developer of Gnu Common Lisp) and of course
Mike Dewar where also interested by OpenMath and they might help
you. They are on this list.


I hope it helps,
Yours,
d.
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/