Re: [Axiom-developer] NAG libraries

[Franz Lehner]

> I'm a little puzzled by what you mean by "axiom.silver 580".
> Specifically, what SVN checkout command did you use?

  svn co https://axiom.svn.sourceforge.net/svnroot/axiom/trunk axiom.silver

as indicated at http://wiki.axiom-developer.org/AxiomSilverBranch.
In the end it said something like "checked out revision 580".

> I'm unaware of the file "Makefile.linux.pamphlet".
that one was in
http://wiki.axiom-developer.org/src_aldor2.tgz
and I followed the instructions on 
http://wiki.axiom-developer.org/AldorForAxiom

> You commented that for Aldor you did:
>  for pp in *.pamphlet ; do document $pp ; done
> but Aldor doesn't have pamphlet files.
src_aldor2.tgz does.

> The --enable-checking only exists in the branches and is
> not in silver, as far as I'm aware.
that's what I learned so far as well.
So if I want both aldor and --enable-checking, I need to get yet another 
branch? Any suggestions?

Franz