-lisp.net
Subject: Re: [elephant-devel] installing elephant 1.0 from repository
Hi Lukas,
I haven't seen that particular darcs problem before, although I have seen the
gcc build via asdf fail but work when done manually. This may be fixed in the
latest head, actually. You might try pu
Hi Lukas,
I haven't seen that particular darcs problem before, although I have seen the
gcc build via asdf fail but work when done manually. This may be fixed in the
latest head, actually. You might try pulling elephant-1.0 without the --tag
option and see if that fixes it.
Best,
Ian
On Dec
