[m-users.] Profiling

Paul Bone paul at bone.id.au
Tue Apr 21 10:09:25 AEST 2015

On Mon, Apr 20, 2015 at 07:23:09PM +0200, Tomas By wrote:
> On Mon, April 20, 2015 17:52, Delmas Buckley wrote:
> > (1) How can I search the lists?
> Use google "site:mercurylang.org <keywords>"
> > (2) Can anyone provide a few simple templates for (a) compiling for
> > profiling, and (b) executing with profiling.
> You need (I believe) to create a "Mmake" file, no apparently it is
> "Mmakefile", with the line "GRADEFLAGS=--profiling", before you compile.

mmake and Mmakefiles are deprecated.  I suggest using mmc --make to build
programs instead.  To give it options saved in a file name the file
Mercury.options  It can take options such as "GRADE" and "MCFLAGS" etc.

This is kind-of all over the place in the User's Guide:

    Generally but not a good "guide":

    Options files:

    mmc --make and libraries:


Paul Bone

More information about the users mailing list