[plt-scheme] destdir patch
Hello.
I'm mandriva package maintainer for plt. Here is a patch allowing make
DESTDIR=~/tmp install, allowing to easily install under a different root
on the build host. It only concern Linux installation, as I could not
test it elsewhere. Please consider merging it, thanks.
--
Guillaume Rousse
Projet Estime, INRIA
Domaine de Voluceau
Rocquencourt - B.P. 105
78153 Le Chesnay Cedex - France
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: plt-350.destdir.patch
URL: <http://lists.racket-lang.org/users/archive/attachments/20060621/1ec55a29/attachment.ksh>