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