Re: [Axiom-developer] gnu-arch axiom--book--1 (CORRECTED version of instructions)

[Bertfried Fauser]

On Tue, 2 Mar 2004, root wrote:

Dear All,

just in case, somebody tried to compile tla on SuSE, here is a corrected
instruction:

* download tla-1.1.tgz from gnu-arch homepage eg from savannah
* unpack the archive
> tar -zxf tla-1.1.tar.gz
*-> creates the dir: tla-1-1/
* goto
> cd tla-1.1
> cd src
* note that the last cd was _missing_ in Tim's description
* to install as root (needed for the sugested location)
> su
* input (root)passwd
* create this awkward directory
> mkdir =build
> cd =build
* issue the configure and three make commands
> ../confiure --prefix /usr/local/tla
> make
> make test
> make install
* create a link in the $PATH to the binary
> ln -s /usr/local/bin/tla /usr/local/tla/bin/tla
* if you like you can clean up now
> cd
> rm -r tla-1.1/
* unroot yourself
> exit
* tell the shell that something new is in the path
> rehash
* tls should now work, you might test it saying
> tla
* results in some use tla with -h stuff

To get the AXIOM book, and to start with tla issue as described by Tim

> tla my-id "Your Name <address@hidden>"
> tla my-default-archive address@hidden
> tla register-archive http://axiom.tenkan.org/current
> tla get axiom--book--1

it works for me, at least.....

enjoy
BF.

% |   | PD Dr Bertfried Fauser    Fachbereich Physik    Fach M 678  |
%  \ /  Universit"at Konstanz     78457 Konstanz        Germany     |
% (mul) Phone : +49 7531 693491   FAX : +49 7531 88-4864 or 4266 (comul)
%   |   E-mail: address@hidden                   / \
%   |   URL   : http://clifford.physik.uni-konstanz.de/~fauser    |   |