[mercury-users] mmc --make and not installed libraries

[Julien Fischer]

On Wed, 8 Nov 2006, Peter Wang wrote:

> On 2006-11-07, Ondrej Bojar <obo at cuni.cz> wrote:
>> Hi.
>>
>> Recently, I started to prefer 'mmc --make' to 'mmake'. However, I am not
>> able to transform an older mmake trick for mmc. I want to use custom
>> mercury libraries in other mercury programs without the necessity of
>> installing the libraries over and over. (In fact, I'm debugging library
>> routines by using them in another program.)
>>
>> For mmake, the trick was to add a few lines to Mmakefile of the program
>> and just compile the library in its place and then compile the program
>> in its place:
>
> This message should help:
> http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-users/mercury-users.200609/0007.html
>
> Recently a `--search-lib-files-dir' option was added to the compiler to
> set a bunch of `--blah-dir' options at once, but I don't think it's in
> the 0.13 releases.

It's not in the 0.13 releases.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------