install root patch

Alexandre Oliva oliva at
Tue Jul 21 13:12:00 PDT 1998

Archie Cobbs <archie at> writes:

> This simply prefixes all install target directories with a variable
> INSTROOT, which by default is the empty string. So you could, e.g.,
> install into /tmp/usr/local while still "targeting" /usr/local.

If this is going to be installed, I'd suggest to replace INSTROOT with 
DESTDIR, that has been commonly used for this very purpose on other
tools, and has become quite standard.

Alexandre Oliva
mailto:oliva at mailto:aoliva at
Universidade Estadual de Campinas, SP, Brasil

More information about the kaffe mailing list