[m-users.] minimal model pragma and compilation options

[Julien Fischer]

On Thu, 13 Jan 2022, C. M. Sperberg-McQueen wrote:

> C. M. Sperberg-McQueen writes:
>
>> The documentation (for 20.06-1) and I appear not to be communicating
>> with each other very well; I wonder if anyone here can help.
>>
>> What must I do to persuade mmc --make to compile a program that uses
>> minimal-model tabling? 
>
> I have not yet found an answer to this question but I am beginning to
> suspect that it will require recompiling Mercury.
>
>> On a related note, is there any way to find out reliably which grades of
>> Mercury were installed when I installed the Mercury package? 
>
> For the record, I have found two ways:
>
> (1) The description of the Debian packages at [1] lists a set of
> grades.  Since I installed the packages following the instructions at
> [1], that list has a reasonable chance of being accurate.
>
> [1] http://dl.mercurylang.org/deb/
>
> (2) The directory /usr/lib/mercury/lib, which I found by looking at
> /usr/lib/mmc and /usr/lib/mercury*, contains directories with names that
> look a lot like names of grades.  It will surprise no one, least of all
> me, that the list of subdirectories is similar but not identical to the
> list of grades in the document at [1].

A third way is run the compiler with the following option:

    $ mmc --output-libgrades

It will print the list of installed grades.

Julien.