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

[Ondrej Bojar]

Hi, all.

Thanks for your suggestions.

Peter Wang wrote:
> 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.

This works great for me, as I do not mind standing at the bleeding edge.

Ian MacLarty wrote:
> Have you tried generating a Mercury.modules file with mmc -f? If you
> do "mmc -f <path to libraries>/*.m <path to sources>/*.m" then a 
> Mercury.modules file will be generated that maps Mercury module names
> to file locations.  Then all you need to do is "mmc --make <target>"
> and mmc will use the Mercury.modules file to work out where to find
> any .m files it needs.

This does not seem to work with library modules that depend on some 
additional .h or .c files.

Thanks, Ondrej.

-- 
Ondrej Bojar (mailto:obo at cuni.cz)
http://www.cuni.cz/~obo

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------