[plt-scheme] Compiling exp

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Mar 31 15:02:43 EST 2003

At Tue, 25 Mar 2003 18:00:44 -0500 (EST), Guillaume Marceau wrote:
> I have a bug and a question. Here is what I did :
> 
> "
>   export PLTCOLLECTS=/home/gmarceau/collects
>   cvs -d :pserver:anonymous at anoncvs.plt-scheme.org:/cvs login
>   cvs -d :pserver:anonymous at anoncvs.plt-scheme.org:/cvs checkout -r exp plt
>   cd plt/src
>   ./configure --prefix=/home/gmarceau
>   make
>   make install
> "
> 
> 
> The first line ("export PLTCOLLECTS...") was a mistake. I did not
> realize it would affect the installation process. The directory
> /home/gmarceau/collects contains the source code of the tool I am
> developing. It also contains a modified version of eopl/datatype.ss
> which I'm using to override the standard version. 
>
> The installation procedure gallantly overwrote my datatype.ss with the
> default version. I did not expect that, and I had to fetch a fresh
> version of my work from my backups. Maybe this behavior should be
> considered a bug in the installation script.

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.?

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

Matthew



Posted on the users mailing list.