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?
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
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
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton <phil.clayton at veonix.com> wrote:
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.
I am the current maintainer of the Fedora polyml package. If anyone has problems with it, please let me know. I would like it to work well for Fedora users.
I only build official releases, of course, so if you want to follow development, you'll have to build your own version. Otherwise, though, I would like the Fedora package to be of high quality.
Regards,
On 20/10/20 14:46, Jerry James wrote:
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton <phil.clayton at veonix.com> wrote:
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.
I am the current maintainer of the Fedora polyml package. If anyone has problems with it, please let me know. I would like it to work well for Fedora users.
I only build official releases, of course, so if you want to follow development, you'll have to build your own version. Otherwise, though, I would like the Fedora package to be of high quality.
The package version looks good - I didn't intend to suggest otherwise. The issue is that updates are available for only the two most recent Fedora releases (I think), so older releases won't get any Poly/ML updates.
As noted in the linked message, the only reason I can see for disabling the package manager version is to manually install to /usr but instead I recommend installing in a non-conflicting location and setting up environment variables accordingly. (This is all moot now we know which system David T. is using.)
Phil
Thanks to Fabrice Bellard (of QEMU fame) for his wonderful work on JSLinux, we can now run Alpine Linux in modern browsers using Javascript and Webassembly to support a virtual x86 machine.
I installed polyml in the Alpine Linux users home directory, so now anyone can run polyml in their browser. Try it! (it takes a few seconds to boot up)
https://bellard.org/jslinux/vm.html?url=alpine-x86-xwin.cfg&mem=1024&...
Amazing! Is there a way to copy/paste between the VM and local machine? (The right-click contextual menu referred to in the FAQ isn't working for me.)
On 20/10/20 15:41, David Topham wrote:
Thanks to Fabrice Bellard (of QEMU fame) for his wonderful work on JSLinux, we can now run Alpine Linux in modern browsers using Javascript and Webassembly to support a virtual x86 machine.
I installed polyml in the Alpine Linux users home directory, so now anyone can run polyml in their browser.? Try it! (it takes a few seconds to boot up)
https://bellard.org/jslinux/vm.html?url=alpine-x86-xwin.cfg&mem=1024&...
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
dtopham＠gmail.com -
loganjerry＠gmail.com -
phil.clayton＠veonix.com -
sorear＠fastmail.com