[plt-scheme] Re: Cannot start drscheme

On Sun, 24 Jun 2007 06:13:34 +0800, Matthew Flatt wrote:

> At Sun, 24 Jun 2007 00:03:11 +0200, Frederik Himpe wrote:
>> On Saturday 23 June 2007 23:41:04 Matthew Flatt wrote:
>> > At Sat, 23 Jun 2007 21:38:45 +0000 (UTC), Frederik Himpe wrote:
>> > > > argv
>> > >
>> > > #0()
>> >
>> > Hm... Can you send me the "drscheme" script, just to make sure it
>> > contains what I think it does (in particular, no extra newlines)?
>> 
>> I have attached the file.
> 
> Well, that much looks ok...
> 
> Another thought: is `/usr/bin/mred' a binary or a script?

Bingo!

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?

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?

-- 
Frederik Himpe