[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] compile with Debian fails / works

From: Martin Rubey
Subject: Re: [Axiom-developer] compile with Debian fails / works
Date: 02 Nov 2005 10:31:00 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

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'.  
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!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]