[plt-scheme] Compiling exp

On Mon, 2003-03-31 at 15:02, Matthew Flatt wrote:


> The install process certainly shouldn't have tried to modify
> bin/mozilla. I've fixed that.

Good thing, thanks.



> I don't think it was the PLTCOLLECTS definition. Instead, it was
> --prefix=/home/gmarceau.
> 
> Did you mean --prefix=/home/gmarceau/plt?
> 
> Or are you objecting to the way the install process tried to modify
> /home/gmarceau/bin, /home/gmarceau/collects, /home/gmarceau/include,
> etc.?

I expected my ~/bin, ~/include and their friends to be modified, but not
~/collects. 

As far as I know, the --prefix=/home/gmarceau argument is the standard
way to compile and install a program without being root. The default
prefix is usualy just the root of the file system. So I would expect the
default installation (without any --prefix flag nor any PLTCOLLECTS
environment variable) to modify /bin, /include and /usr/lib/collects
(/usr/lib is the standard place where libraries are installed). 


With only --prefix=/home/gmarceau (and no PLTCOLLECTS), I expected
modifications to /home/gmarceau/bin, /home/gmarceau/include and
/home/gmarceau/usr/lib/collects


With both a --prefix=/home/gmarceau and
PLTCOLLECTS=/home/gmarceau/collects, I expected /home/gmarceau/bin,
/home/gmarceau/include and /home/gmarceau/collects to be modified.


I don't claim these are the right expectation. They are just my
experience on that day. Probably the simplest fix would be to add a
summary of the installation paths at the end of the configure script.
For instance, this is what the configure script of gaim looks like :

"
-- 613 anquetil:~/src/gaim-0.59.9 > ./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes

<snip>

config.status: executing default-2 commands
config.status: creating po/POTFILES
config.status: creating po/Makefile

gaim 0.59.9

Allow Multiple Connections.... : yes
Build Protocol Plugins........ : yes
Protocols to link statically.. : oscar toc

UI Library.................... : GNOME App
Use GdkPixbuf................. : yes

Build with Plugin support..... : yes
Build with Perl support....... : yes

Use XScreenSaver Extension.... : yes

Build with ESD................ : yes
Build with NAS................ : no
Build with ArtsC.............. : no

Print debugging messages...... : no

Gaim will be installed in /usr/local/bin.
Warning: You have an old copy of gaim at /u/gmarceau/bin/gaim.

configure complete, now type 'make'
"


The warning on the previous-last line is a nice touch. Something similar
could have saved my working copy of datatype.ss from being overwritten
by the installation.


-- 
  "In Google non est, ergo non est." 

- Guillaume