make.osx: should it set --prefix=$PREFIX ?

Fernando Garcia Bermudez <fgb@...926...> writes:

Fine by me as well. Maybe modify the documentation to point to
mpl_install_std. How should we proceed?

I'll make some other cleanups and create some commits that you can
include in your pull request.

···

--
Jouni K. Sepp�nen