Hello!
Freemint's makefile doesn't currently obey DESTDIR? That's probably the best. It really depends though on the effect of make install which I haven't tried.
The Makefiles don't have an install target at all at the moment :-) Regards, Frank -- ATARI FALCON 060 // MILAN 060 ----------------------------------------- http://www.cs.uni-magdeburg.de/~fnaumann/ e-Mail: fnaumann@freemint.de