Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
cmsmcq opened this issue Jan 14, 2022 · 0 comments
Open
Assignees

Comments

@cmsmcq
Copy link

cmsmcq commented Jan 14, 2022

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.

@PaulBone PaulBone self-assigned this Jan 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants