Dear all, I just wanted to say that following Bills instructions, namely
"Page, Bill" <[EMAIL PROTECTED]> writes: > Of on Debian, the Debian way is by far the easiest. In > this case all you have to do is to configure your apt > to access the unstable sources. > > $ apt-setup > > See: http://wiki.debian.org/AptCLI > > Also: "Working with Source Packages" > http://www.debian.org/doc/manuals/apt-howto/ch-sourcehandling.en.html > > And then do > > # apt-get build-dep axiom > > To download and intstall the environment you need to build axiom. > > To get the sources > > $ apt-get source axiom > > Etc. > > I have also built Axiom "Tim's Way" on Debian, but it is > rather hard to get all the dependencies right. The 'apt-get > build-dep' should fix that, so you should also then be able > to do a > > .\configure > make worked, *after* having said apt-get install binutils-dev (although it appears to me that this should be done by apt-get build-dep axiom, but it isn't...) Unfortunately, building axiom from the darcs sources does not work: it seems that for some files the executable bit is not set (for example for configure), so I said chmod -R u+x * and gcl-2.6.7.* is missing (I copied them from the debian distribution). Now the build seems to be working. I did not yet set up tla. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
