[plt-scheme] destdir patch

From: Guillaume Rousse (Guillaume.Rousse at inria.fr)
Date: Wed Jun 21 08:39:02 EDT 2006

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>

Posted on the users mailing list.