Subject: Re: make install and includes vs. domestic
To: Nathan J. Williams <>
From: Scott Reynolds <>
List: current-users
Date: 04/13/1999 00:59:37
By the way:

> [...] they could be moved into the non-domestic
> part of the source tree and eliminate once and for all this particular
> bootstrapping problem.

This doesn't really help much, since to generate the libss headers, you'll
need compile_et.  If you set DESTDIR to a non-root path and you try to
generate compile_et before the `make includes', you'll fail.