Re: MPS: native comp

[Helmut Eller]

> If you want to install it (not manually, but by "make install"), then
> yes, you need to do
>
>     ./configure --prefix=PREFIX
>     make install
>
> But then you are at the mercy of the few platforms supported by the
> configure script (although for GNU/Linux you should be okay).

The configure script generates a beautifully simple Makefile.  For the
32-bit build, I edited this Makefile directly.