[plt-scheme] Re: Cannot start drscheme

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Jun 24 16:46:01 EDT 2007

At Sun, 24 Jun 2007 13:38:48 +0000 (UTC), Frederik Himpe wrote:
> mred is a wrapper script:
> if [ "$PLTHOME" = '' ] ; then
>   PLTHOME="/usr/lib/plt"
>   export PLTHOME
> fi
> 
> exec /usr/lib/plt/bin/mred
> 
> It seems to work with /usr/bin/mred a symlink to /usr/lib/plt/bin/mred, 
> even on x86_64 Mandriva where /usr/lib64/plt is used. So I guess it's not 
> necessary to set PLTHOME in these cases?

PLTHOME isn't used at all by the normal distribution, anymore. A
re-packaging of the software might use it somehow, but my guess is that
it's completely ignored.

> Related to this: Fedora has a patch which they apply to their x86_64
> package and which fixes lib directory name:
> 
> --- plt/collects/make/setup-extension.ss.lib    2005-10-15 17:18:01.000000000 
> +0200
> +++ plt/collects/make/setup-extension.ss        2005-10-15 17:18:09.000000000 
> +0200
> @@ -97,7 +97,7 @@
>                                 (ormap (lambda (suffix)
>                                          (file-exists?
>                                           (build-path x
> -                                                     "lib"
> +                                                     "lib64"
>                                                       (format "~a~a.~a"
>                                                               (if is-win?
>                                                                   ""
> 
> Is this patch any good/useful/necessary?

I expect that this patch is still useful and necessary.

I don't know whether it's good; the right way to handle "lib64" versus
"lib" is still unclear to me, and I welcome advice. Maybe, for example,
there's some standard environment variable that that
"setup-extension.ss" should consult?

Matthew



Posted on the users mailing list.