On Tue, Oct 20, 2020, at 12:40 AM, 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
This works fine for me and is what I've been doing the entire time I've used polyml, does it error for you? -s _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml