[plt-scheme] No plt-uninstall script

From: Richard Lewis (richardlewis at fastmail.co.uk)
Date: Thu Jan 28 05:46:16 EST 2010

Synx wrote:

> Richard Lewis wrote:
> > How can I remove plt-scheme?
> I don't know. :/ But...
> > I installed plt-scheme 4.2.3 from source using
> > 
> > $ src/configure --prefix=/usr/local
> > $ src/make
> > $ sudo src/make install
> What you can do in such an emergency is this:
> $ src/make -i install 2>locations.log 1>&2
> Then you just look (or grep) through locations.log to find all the
> places it fails to install a file (since it wasn't root), and delete (or
> restore) that file.
Thanks, that was very handy. I've now successfully removed all the
installed files.
> ---
> What I always do, and I think is a good practice in general, is to
> install each large application (or application suite) in its own
> directory tree, so for instance "--prefix=/var/opt/plt/". Then I make
> /var/opt/plt directory as owned by a normal user:
> builder$ sudo mkdir /var/opt/plt
> builder$ sudo chown builder /var/opt/plt
> builder$ src/make install
> builder$ sudo chown root:root -R /var/opt/plt
> For most applications that system works great, though it of course fails
> horribly on applications that require root privileges during their
> installation phase, or applications that depend on the SETUID bit. But
> for PLT it works fine. And by installing as a non-privileged user, you
> can ensure the application doesn't delete or overwrite any of your
> existing necessary files.
> I just manually go and say
> $ cd /usr/local/bin
> $ sudo ln -s /var/opt/plt/bin/* .
> Since they're symbolic links, even if I delete and re-install the plt
> directory it still works to say
> $ mzscheme

In fact, I didn't mention that I only wanted to remove the manually
installed version so I could re-install from the Debian package. I
installed from source because I needed the mzscheme shared libraries
to install fluxus <http://www.pawfal.org/fluxus/>. Having played with
fluxus I've established that my computer is definitely too under
specified for it and so would prefer to go back to the dpkg managed
plt scheme.

Thanks for your help,

Posted on the users mailing list.