[plt-scheme] Fwd: [Contrib-Rpm] drscheme-202-1mdk

Le Dimanche 6 Octobre 2002 19:11, vous avez écrit :
> > > > otherwise /usr/share/drscheme (or plt) would be more adequate.
> > >
> > > The problem is that native-compiled files will end up in the same
> > > tree.
> >
> > Please explain me what are those native-compiled files, i'm lost there.
>
> You can use mzc to compile a Scheme file (through gcc) to
> native-code.  Such files will end up in the collects dir in some
> subdirectory named for the platform.
users should not have write permissions on systems dirs... 
Is it the reason of sticky bits on 'compiled' directories ?

Anyway, i'll keep PLT_HOME in /usr/lib currently.
-- 
Guillaume Rousse <rousse at ccr.jussieu.fr>
GPG key http://lis.snv.jussieu.fr/~rousse/gpgkey.html