[EMAIL PROTECTED] writes:
> > I don't think this can be done portably; disk space requirements
> > greatly depend on platform and compiler settings.
>
> OK, better just put a sentence about possible disk space limitations in
> then.
Its in INSTALL.txt, I think.
> Some systems let you have lots of temporary space on /tmp. Is there a way
> of compiling it so that this can be used rather than the home directory
> space?
Yes:
mkdir /tmp/`whoami`/usr
cd $HOME
ln -s /tmp/`whoami`/usr .
this puts the contents of $HOME/usr into /tmp. Beware that many
systems regularly clean out /tmp, either at reboot or periodically.
--
Han-Wen Nienhuys, [EMAIL PROTECTED] ** GNU LilyPond - The Music Typesetter
http://www.cs.uu.nl/people/hanwen/lilypond/index.html