-
Notifications
You must be signed in to change notification settings - Fork 4
Description
The page on the Debian packages for Mercury might be improved by adding a sentence or two after the list of grades included in the package, about what the user needs to do if they find they need a new grade. (I installed the Debian packages because it seemed simpler as a way to get started on a renewed attempt to learn enough Mercury to be able to use it. Because that meant I had not gone through the configuration step of compiling from source, I was a bit confused when it turned out that minimal model tabling was not available.)
Concretely, after the paragraph beginning "There are two groups of packages to choose from", I would suggest adding a paragraph saying something like:
If you find you need a grade not included in the package, you will need to download the source distribution and build it locally; this can take some time but is reasonably straightforward. The configuration step will allow you to specify which grades you want to build.
This may help only a small number of users, but it may be that increasing numbers of users on Linux and other systems use package managers in preference to compiling from source.