Axiom Development
Axiom development is now hosted on an Arch server
running on axiom.developer.org.
There is an irc channel where developers can find other developers. It is:
server: irc.freenode.net
channel:#axiom-developer
You only need to do these setup steps once.
In order to access the arch sources you need to let arch know who
you are with the command:
tla my-id "First Last <addy@host.com>"
Next you need to register an archive:
tla register-archive arch@axiom-developer.org--axiom http://axiom-developer.org/archive/axiom
Then set up a default archive
tla my-default-archive arch@axiom-developer.org--axiom
In order to get the latest source for the Axiom main line type:
tla get axiom--main--1
There are several branches available. Each branch is used to develop
a particular idea and get a stable, working version before merging
it back to the main line. The currently available branches are:
axiom--main--1 the main development branch
this branch will be mirrored to the CVS on savannah when it
is stable and tested.
Currently in step 4 of development.
axiom--hyperdoc--1 development of hyperdoc
NOTE: This branch has been merged and is now dead.
this branch contains code for building hyperdoc.
axiom--BSD--1 port to BSD
work with Mark Murray <mark at grondar.org>
Currently in step 1 of development.
axiom--MACOSX--1 port to MACOSX
work with Chuck Miller <cfm at ms.unimelb.edu.au>
Currently in step 1 of development.
book--main--1 axiom book
work with community to clean up the book for printing
Currently in step 1 of development.
axiom--solaris--1 port to solaris
work with Kostas Oikonomou <ko at research.att.com>
Currently in step 1 of development.
axiom--graphics--1 finish graphics integration
NOTE: This branch has been merged and is now dead.
work on integration, testing of graphics.
axiom--windows--1 port to windows
work with < Mike Thomas <mike.thomas at brisbane.paradigmgeo.com>
Currently in step 1 of development.
axiom--language--1 explore axiom language modifications
work with Stephen Wilson <wilsons at multiboard.com>
Currently in step 1 of development.
axiom--sbcl--1 port axiom to steel bank common lisp
work with Tim Daly Jr. <tim at tenkan.org> and
Nate Daly <nate at tenkan.org>
Currently in step 1 of development.
zlc--main--1 add a zero learning curve interface to axiom
work with Jinzhong Niu <jniu at gc.cuny.edu>
Xaiowei Xu <xuxw at yahoo.com>
Currently in step 1 of development.
axiom--algebra--1 prototype algebra code
Currently in step 1 of development.
axiom--GUI--1 portable GUI interface
work with Kai Kaminski (kai.kaminski@gmail.com)
Currently in step 1 of development.
If you need write access to the archive you need to follow these steps:
Create a key by typing:
ssh-keygen -t dsa
This will create a file called .ssh/id_dsa.pub. You need to send the
contents of this file to Tim Daly <daly@idsi.net>
so your interactions can be enabled.
In order to access the arch sources you need to let arch know who
you are with the command:
tla my-id "First Last <addy@host.com>"
Next you need to register an archive:
tla register-archive arch@axiom-developer.org--axiom sftp://arch@axiom-developer.org/home/arch/archive/axiom
Notice that you're using sftp rather than http. The sftp function
uses the secure keys to enable ftp access to the sources. The http
function is read-only.
Then set up a default archive
tla my-default-archive arch@axiom-developer.org--axiom
In order to get the latest source for the Axiom main line type:
tla get axiom--main--1
Now you can change the sources. Once you've made changes they need
to be sent back (commit) to the host. In order to do the commit
function in tla you need a log file that summarizes the changes.
You can create and edit the log file with:
emacs -nw `tla make-log`
or for the vi fans
vi `tla make-log`
Finally you commit the changes with:
tla commit
The official website for arch is
here
More information on arch is available
here