On 20/10/20 05:40, David Topham wrote:
I know it is most efficient to install software system wide so all users share same code. But I have a situation where I want to install only to my home directory. i.e. It is Linux system where I don't have sudo privilege. Is that possible? I am building from source, so perhaps ./configure ?--prefix=$HOME make make install
Or does polyml have too many dependencies on other system libraries to make that impractical?
You can specify any prefix to install to - this does not affect how dependencies are found. However, depending on your choice of prefix, you may need to manually add <prefix>/bin to PATH. Depending on your Linux distribution, it would probably be more idiomatic to do a per-user install to $HOME/.local to avoid cluttering the home directory. Also, if you have Poly/ML installed system-wide via the package manager, you would need to make sure that <prefix>/bin occurs in the path before the system bin directory, to ensure your user version is found first.
There are some instructions previously posted here: http://lists.inf.ed.ac.uk/pipermail/polyml/2017-July/002038.html which also show how to disable the package manager version of Poly/ML on Fedora.
Phil