Skip to content

Add a sentence about what to do if you find you need a different grade? #12

@cmsmcq

Description

@cmsmcq

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.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions