Dear all, so, here is some news:
* setting up tla meanwhile is trivial. I just followed my (own) recipe on mathaction, since I forgot everything meanwhile. It's a matter of copy and paste. Compiling patch-46 worked without a problem after applying Bill's suggestions. I repeat it here for the record: binutils-dev should probably go into the list of dependencies. * setting up darcs is even easier: one line instead of three. However, I did not find out how to tell darcs not to overwrite my old patches. For development, it is necessary for me to keep the old patches, or, at least have them available. Furthermore, it would be crucial that the two archives were *identical*. (Currently, they are not, only some of the patches are in darcs) In fact, compiling from darcs doesn't finish (apart from the missing gcl2.7 and the executable bit problem, which I do not understand): generic 10 making /home/rubey/axiom--main--1/mnt/linux/input/pollevel.input from /home/rubey/axiom--main--1/int/input/pollevel.input make[3]: *** No rule to make target `/home/rubey/axiom--main--1/mnt/linux/input/pmint.input', needed by `all'. Stop. make[3]: Leaving directory `/home/rubey/axiom--main--1/src/input' make[2]: *** [inputdir] Error 2 make[2]: Leaving directory `/home/rubey/axiom--main--1/src' make[1]: *** [srcdir] Error 2 make[1]: Leaving directory `/home/rubey/axiom--main--1' make: *** [all] Error 2 * I suggest that we stay with tla, since this is easiest for me :-) Furthermore, it enables me to update axiom on my home machine, where I only have a slow modem. I suppose that this would also work with darcs, but detailed instructions would be necessary. Of course, providing a darcs server would be very good, however, it is crucial that the archives are *identical*. (Not necessarily on the hardware level, of course...) Thanks to everybody, and especially to Bill for his Debian instructions! Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
