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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml