On 20/10/20 14:46, Jerry James wrote:
On Tue, Oct 20, 2020 at 3:14 AM Phil Clayton <[email protected]> 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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
